MODULE tminmax;
// MIN/MAX type bounds, enum array indices, and index-type arrays.
TYPE Colour = (Blue, Red, Green, White);
     Sq = [0..15];
VAR home : ARRAY [MIN(Colour)..MAX(Colour)] OF INTEGER;
VAR g : ARRAY Sq OF INTEGER;
VAR x : INTEGER;
VAR ExitCode : INTEGER;
BEGIN
  home[Green] := 5;
  g[15] := 7;
  x := MAX(Colour) - MIN(Colour) + MIN(Sq) + MAX(Sq);
  IF (home[Green] = 5) AND (g[15] = 7) AND (x = 18) THEN ExitCode := 42
  ELSE ExitCode := 1 END
END tminmax.