CocoR/Test1/tests/t_bad_index.mod

MODULE TIdx;
VAR x : INTEGER; v : ARRAY [1 .. 5] OF INTEGER; r : REAL;
BEGIN x[1] := 2; v[r] := 3
END TIdx.