MODULE WBadInt;
VAR a : ARRAY [1 .. 3] OF INTEGER;
BEGIN
  WriteInt(a)
END WBadInt.