MODULE TRecordMultiDimConst;
(* M5: static record constructor with a rank-2 array field. *)
TYPE
  Row = ARRAY [0..2] OF INTEGER;
  Grid = ARRAY [0..1] OF Row;
  Rec = RECORD tag : INTEGER; g : Grid END;
CONST c = Rec { 7, Grid { Row{1,2,3}, Row{4,5,42} } };
VAR ExitCode : INTEGER;

BEGIN
  IF (c.tag = 7) AND (c.g[1,2] = 42) AND (SIZE(c.g) = 24) THEN
    ExitCode := 42
  ELSE
    ExitCode := 1
  END
END TRecordMultiDimConst.