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

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