Listing:

    1  DEFINITION MODULE DLibN;
    2  VAR v : INTEGER;
    3  PROCEDURE P;
    4  END DLibN.

    0 errors