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) { return x + 1 } dec(x) { return x - 1 }