more tests

test/input/run/int.ob

@@ -0,0 +1,14 @@
+MODULE Test;
+CONST 
+	c1 = 07FFFFFFFH + 1; (* -2147483648 *)
+	c2 = 0FFFFFFFFH * 2; (* -2 *)
+VAR x: INTEGER;
+BEGIN
+    x := 07FFFFFFFH + 1;
+	ASSERT(x = -2147483648);
+	ASSERT(c1 = x);
+
+	x := 0FFFFFFFFH * 2;
+  	ASSERT(x = -2);
+  	ASSERT(c2 = x);
+END Test.