main() {
	f(10)
}

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