PROCEDURE Test*;
   VAR b: BYTE;
BEGIN
   ASSERT(MIN(BYTE) = -128);
   ASSERT(MAX(BYTE) = 127);
   FOR b := MIN(BYTE) TO MAX(BYTE) DO
   END
END Test;

b := MIN(BYTE);
WHILE b <= MAX(BYTE) DO INC(b, 1) END;
ASSERT(b > MAX(BYTE))

PROCEDURE Do*;
   VAR j, N: INTEGER;
BEGIN
   N := ORD({0..30});
   FOR j := 1 TO N DO
      ASSERT(j > 0, 20);
   END;
END Do;

CMP [startval],stopval
JG exit            ;JNG
DEC [startval]

loop:
INC [startval]
...
...
...
CMP [startval],stopval
JL loop            ;JNL
exit:

PROCEDURE Do*;
   VAR i, N: INTEGER;
BEGIN
   N := MAX(INTEGER);
   Log.Int(N); Log.Tab; Log.Set(BITS(N)); Log.Ln;
   i := N * 2;
   Log.Int(i); Log.Tab; Log.Set(BITS(i)); Log.Ln;
   i := N * 3;
   Log.Int(i); Log.Tab; Log.Set(BITS(i)); Log.Ln;
   i := N + 1;
   Log.Int(i); Log.Tab; Log.Set(BITS(i)); Log.Ln;
END Do;