Listing: 1 MODULE TFld; 2 VAR x : INTEGER; 3 BEGIN x.y := 1 ***** ^ not a RECORD type 4 END TFld. 1 error