IMPLEMENTATION MODULE DLib2; FROM DLib IMPORT counter; PROCEDURE Bump(VAR v : INTEGER); BEGIN v := v + dbl + counter END Bump; BEGIN flag := 0 END DLib2.