Listing:

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

    0 errors