M2compiler-V3/compiler/tests/t_bad_index.mod

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