f ::= fn(y:f64=19.2, x :f64=3.4) f64 { x + y }; main ::= fn() { f(y = 13, 23); };