MODULE TRecordMultiDimCtor;
(* M5: runtime record constructor whose field is a rank-2 array. *)
TYPE
  Row = ARRAY [0..2] OF INTEGER;
  Grid = ARRAY [0..1] OF Row;
  Rec = RECORD tag : INTEGER; g : Grid END;
VAR ExitCode : INTEGER;
    r : Rec;

BEGIN
  r := Rec { 7, Grid { Row{1,2,3}, Row{4,5,42} } };
  IF (r.tag = 7) AND (r.g[1,2] = 42) THEN
    ExitCode := 42
  ELSE
    ExitCode := 1
  END
END TRecordMultiDimCtor.