MODULE tctor3;
// Nested constructor: an array of CHAR arrays, elements given as strings.
TYPE name = ARRAY [0..3] OF CHAR;
     names = ARRAY [0..1] OF name;
CONST t = names { "Thu", "Fri" };
VAR a : names;
VAR ExitCode : INTEGER;
BEGIN
  a := t;
  IF (a[0][0] = 'T') AND (a[1][2] = 'i') THEN ExitCode := 0 ELSE ExitCode := 1 END
END tctor3.