MODULE Test; VAR x : ARRAY 10 OF INTEGER; p : POINTER TO ARRAY OF ARRAY OF INTEGER; BEGIN NEW(p, 20, 30); ASSERT(LEN(x, 0) = 10); ASSERT(LEN(p^, 0) = 20); ASSERT(LEN(p^, 1) = 30); END Test.