MODULE ABadArr;
VAR x : INTEGER;
BEGIN
  x := 1;
  x[1] := 5
END ABadArr.