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