MODULE TEnumIdx;
// BOOLEAN and ENUM array bounds and indices.  Exit 42.
TYPE colour = (red, green, blue);
VAR a : ARRAY [FALSE..TRUE] OF BOOLEAN;
VAR c : ARRAY [red..blue] OF INTEGER;
VAR ExitCode : INTEGER;
BEGIN
  a[FALSE] := FALSE; a[TRUE] := TRUE;
  c[red] := 0; c[blue] := 42;
  IF a[TRUE] AND (c[blue] = 42) THEN ExitCode := 42 ELSE ExitCode := 1 END
END TEnumIdx.