main() {
	x := 20000000000
	assert x == 20000000000
	x -= 10000000000
	assert x == 10000000000
	x -= 10000000000
	assert x == 0
	x -= 10000000000
	assert x == -10000000000
	x -= 10000000000
	assert x == -20000000000
}