MODULE TBadArr;
VAR a : ARRAY OF INTEGER; x : INTEGER;
BEGIN
  x := 1
END TBadArr.