#line 1 "-"
#line 1 "test/fun2.g"
fun main () -> int@
{
  (fun (int y) { return y + 1 ; })(1);
}