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

f(x) {
	return x + 1 + x
}