import sys

main() {
	x := 0

	if x != 0 {
		sys.exit(1)
	}

	if x > 0 {
		sys.exit(1)
	}

	if x < 0 {
		sys.exit(1)
	}

	if 0 != x {
		sys.exit(1)
	}

	if 0 > x {
		sys.exit(1)
	}

	if 0 < x {
		sys.exit(1)
	}

	if x >= 1 {
		sys.exit(1)
	}

	if 1 <= x {
		sys.exit(1)
	}

	if x + 1 != x + 1 {
		sys.exit(1)
	}

	if x + 1 != inc(x) {
		sys.exit(1)
	}

	if x - 1 != dec(x) {
		sys.exit(1)
	}

	if inc(x) != x + 1 {
		sys.exit(1)
	}

	if dec(x) != x - 1 {
		sys.exit(1)
	}

	if x != inc(dec(x)) {
		sys.exit(1)
	}

	if inc(dec(x)) != x {
		sys.exit(1)
	}

	if inc(x) == dec(x) {
		sys.exit(1)
	}

	if x == 0 {
		sys.exit(0)
	}

	sys.exit(1)
}

inc(x Int) -> Int {
	return x + 1
}

dec(x Int) -> Int {
	return x - 1
}