#line 1 "-"
#line 1 "test/pass_by_value.g"

fun foo(int@ x) -> int@ { return ++x; }

fun main() -> int@ {
  return foo(-1);
}