main() {
	assert f(f(f(1))) == 4
}

f(x Int) -> Int {
	return x + 1
}