#line 1 "-"
#line 1 "test/funptr.g"
fun foo(int x) -> int@ { return x + 1; }

fun main() -> int@ {
  let f = foo;
  let z = f(2);
  return z - 3;
}