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