MODULE TOpen2DHigh;
(* M3: HIGH on open multi-dimensional views and their row subviews. *)
TYPE Mat = ARRAY [0..1], [0..2] OF INTEGER;
VAR ExitCode : INTEGER;
    m : Mat;

PROCEDURE Check (a : ARRAY OF ARRAY OF INTEGER) : BOOLEAN;
BEGIN
  RETURN (HIGH(a) = 1) AND (HIGH(a[0]) = 2) AND (LEN(a) = 2)
END Check;

BEGIN
  IF Check(m) THEN ExitCode := 42 ELSE ExitCode := 1 END
END TOpen2DHigh.