79 lines
653 B
Plaintext

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 x == 0 {
sys.exit(0)
}
sys.exit(1)
}
inc(x) {
return x + 1
}
dec(x) {
return x - 1
}