main() { assert f(2) == 6 } f(x) { return x + 1 + g(x) } g(x) { return x + 1 }