MODULE TOpen2DValue;
(* M3: value open 2-D formal reads through a fixed-array view. *)
TYPE Mat = ARRAY [0..1], [0..2] OF INTEGER;
VAR ExitCode : INTEGER;
    m : Mat;

PROCEDURE Sum (a : ARRAY OF ARRAY OF INTEGER) : INTEGER;
BEGIN
  RETURN a[0, 1] + a[1, 2]
END Sum;

BEGIN
  m[0, 1] := 10; m[1, 2] := 32;
  IF Sum(m) = 42 THEN ExitCode := 42 ELSE ExitCode := 1 END
END TOpen2DValue.