factorial ::= fn(x: int) int { if x < 2 { 1 } else { x * factorial(x-1) } }; main ::= fn() { a ::= factorial(10); };