Listing: 1 DEFINITION MODULE ALib; 2 VAR aval : INTEGER; 3 END ALib. 0 errors