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