M2compiler-V3/compiler/tests/t_bad_index.mod

MODULE TBadIndex;
VAR a : ARRAY [0..4] OF INTEGER;
VAR b : BOOLEAN;
VAR ExitCode : INTEGER;
BEGIN
  a[b] := 1
END TBadIndex.