main() { x := 1 + f(x) } f(x) { return x }