M2compiler-V1/tests/t_bad_array.mod

MODULE TBadArr;
VAR a, b : ARRAY [1 .. 10] OF INTEGER; x : INTEGER;
BEGIN
  x := 1;
  a := b
END TBadArr.