int foo() { return 42; }

int main() {
#line 0
  return foo();
}