MODULE Test;
-IMPORT
- Out,
- System;
+VAR
+ x : ARRAY 10 OF INTEGER;
+ p : POINTER TO ARRAY OF ARRAY OF INTEGER;
BEGIN
- Out.Open;
- IF FALSE THEN
- Out.String("Hello World!"); Out.Ln;
- END;
- System.Halt(1);
+ NEW(p, 20, 30);
+ ASSERT(LEN(x, 0) = 10);
+ ASSERT(LEN(p^, 0) = 20);
+ ASSERT(LEN(p^, 1) = 30);
END Test.