MODULE tctor2;
// Constructor with the BY repeat form: {1,2,3,4 BY 3} fills 1..6.
TYPE arr = ARRAY [0..5] OF CARDINAL;
CONST c = arr {1, 2, 3, 4 BY 3};
VAR a : arr;
VAR ExitCode : INTEGER;
BEGIN
  a := c;
  IF (a[0]=1) AND (a[2]=3) AND (a[3]=4) AND (a[5]=4) THEN ExitCode := 0
  ELSE ExitCode := 1 END
END tctor2.