main() { assert f(1) + f(2) + f(3) == 9 } f(x) { return x + 1 }