Listing: 1 MODULE ABadIdx; 2 VAR a : ARRAY [1 .. 5] OF INTEGER; x : INTEGER; 3 BEGIN 4 x := 1; 5 a[3.14] := 5 ***** ^ array index must be integer 6 END ABadIdx. 1 error