f ::= fn(x: ..) int { 3 }; main ::= fn() { f(1,2,3); }; main();