DEFINITION MODULE DLibD;
VAR v : INTEGER;
PROCEDURE P;
END DLibD.