MODULE badarray ; VAR c: CARDINAL ; BEGIN c[1] := 5 END badarray.