CocoR/Test2/tests/q_bad_array.mod

MODULE QBadArr;
VAR a : ARRAY [1 .. 10] OF INTEGER; x : INTEGER;
BEGIN
  x := 1;
  a[x] := 5
END QBadArr.