IMPLEMENTATION MODULE DLib; PROCEDURE P(x : INTEGER) : INTEGER; BEGIN RETURN x * 2 END P; PROCEDURE Q(VAR x : INTEGER); BEGIN x := x + 1 END Q; BEGIN v := 3 END DLib.