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

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