main() { assert f(1) == 3 } f(x Int) -> Int { y := g() return x + y } g() -> Int { return 2 }