foo ::= fn(x: int) int { 2*x } main ::=fn(){ foo(foo(10)); } main();