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