MODULE Test;
-TYPE
- R1 = RECORD END;
- R2 = RECORD (R1) END;
- R3 = RECORD END;
-
- P1 = POINTER TO R1;
- P2 = POINTER TO R2;
+IMPORT SYSTEM, Out;
VAR
- a : R1;
- b : R2;
- c : R3;
- p1 : P1;
- p2 : P2;
+ i : INTEGER;
BEGIN
- a := b;
- p2 := p1(P2);
- p1 := p2(P2);
+ i := -32;
+ Out.Int(SYSTEM.LSH(i, -5), 0); Out.Char(" "); Out.Int(SYSTEM.LSH(-32, -5), 0); Out.Ln;
+ ASSERT(SYSTEM.LSH(i, -5) = SYSTEM.LSH(-32, -5));
END Test.
