Listing: 1 DEFINITION MODULE DLib; 2 CONST c = 7; 3 VAR v : INTEGER; 4 PROCEDURE P(x : INTEGER) : INTEGER; 5 PROCEDURE Q(VAR x : INTEGER); 6 END DLib. 0 errors