main() { x := 0 if x != 0 { exit(1) } if x > 0 { exit(1) } if x < 0 { exit(1) } if 0 != x { exit(1) } if 0 > x { exit(1) } if 0 < x { exit(1) } if x >= 1 { exit(1) } if 1 <= x { exit(1) } if x + 1 != x + 1 { exit(1) } if x + 1 != inc(x) { exit(1) } if x - 1 != dec(x) { exit(1) } if inc(x) != x + 1 { exit(1) } if dec(x) != x - 1 { exit(1) } if x != inc(dec(x)) { exit(1) } if inc(dec(x)) != x { exit(1) } if x == 0 { exit(0) } exit(1) } exit(x) { syscall(60, x) } inc(x) { return x + 1 } dec(x) { return x - 1 }