path: root/tests/drivers/nav-library.zc

struct NavValue { int value; };
int nav_helper(int x) { return x + 1; }