.long 9
.endif
+ .comm c, 1
+ .ifndef c
+ .err
+ .endif
+
+ .if x <> x
+ .err
+ .endif
+ .equiv y, x
+ .ifndef y
+ .err
+ .endif
+ .if x <> y
+ .err
+ .endif
+ .equiv z, x
+ .if y <> z
+ .err
+ .endif
+
+ .equiv a, y + 1
+ .equiv b, z - 1
+ .if a == x
+ .err
+ .endif
+ .if a - 1 <> x
+ .err
+ .endif
+ .if a <> b + 2
+ .err
+ .endif
+ .if a - b <> 2
+ .err
+ .endif
+
+ .equiv x, 0
+ .if y
+ .err
+ .elseif y
+ .err
+ .endif
+
.macro m x, y
.ifb \x
.long -1