main() {
	f(10)
}

f(x int) {
	y := x
	x = x - 2
	assert x < y
	x = x + 2
	assert x == y
	x = x * 2
	assert x > y
	x = x / 2
	assert x == y
	x = x % 2
	assert x < 2
}