Listing: 1 MODULE TBadWith; 2 VAR ExitCode : INTEGER; 3 n : INTEGER; 4 BEGIN 5 n := 1; 6 WITH n DO ***** ^ not a RECORD type 7 n := 2 8 END; 9 ExitCode := n 10 END TBadWith. 1 error