../../../../comet2 a.o
--------
12
+
12
--------
--------
-12
-
12
--------
--------
1
+
1
--------
--------
-1
-
1
--------
--------
32767
+
32767
--------
--------
-32767
-
32767
--------
--------
0
+
0
--------
--------
-32768
OV
-32768
--------