f ::= fn(x := 3, y:int) { }; main ::= fn() { f(5); };