Listing: 1 IMPLEMENTATION MODULE DLib; 2 PROCEDURE P(x : INTEGER) : INTEGER; 3 BEGIN 4 RETURN x * 2 5 END P; 6 PROCEDURE Q(VAR x : INTEGER); 7 BEGIN 8 x := x + 1 9 END Q; 10 BEGIN 11 v := 3 12 END DLib. 0 errors