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

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