MODULE tctor5;
// Runtime array constructor: element values are variables/expressions.
TYPE arr = ARRAY [0..2] OF CARDINAL;
VAR a : arr; i : CARDINAL;
VAR ExitCode : INTEGER;
BEGIN
  i := 7;
  a := arr{i, i + 1, i + 2};
  IF (a[0] = 7) AND (a[1] = 8) AND (a[2] = 9) THEN ExitCode := 0
  ELSE ExitCode := 1 END
END tctor5.