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