main() {
	f(10)
}

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