DEFINITION MODULE Listhandler; PROCEDURE StoreError (nr, line, col: INTEGER; pos: INT32); PROCEDURE PrintListing; END ListHandler.