main ::= fn() { a ::= foo(3); b := foo(5); } foo ::= fn(x: int) int { if x == 3 { return 7; } else { return #C("3*x"); } }