MODULE TOpen2DSize;
(* M4: payload SIZE/TSIZE on open multi-dimensional views. *)
TYPE Cube = ARRAY [0..4] OF ARRAY [0..5] OF ARRAY [0..1] OF CHAR;
VAR ExitCode : INTEGER;
    c : Cube;

PROCEDURE Check (a : ARRAY OF ARRAY OF ARRAY OF CHAR) : BOOLEAN;
BEGIN
  RETURN (SIZE(a) = 60) AND (SIZE(a[0]) = 12)
         AND (SIZE(a[0][0]) = 2) AND (SIZE(a[0, 0]) = 2)
         AND (TSIZE(a[0]) = 12)
END Check;

BEGIN
  IF Check(c) THEN ExitCode := 42 ELSE ExitCode := 1 END
END TOpen2DSize.