f ::= fn(y:f64=19.2) { }; main ::= fn() { f(); };