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