main() {
	f(10)
}

f(new Int) {
	old := new
	new -= 1
	assert new != old
}