Listing:

    1  DEFINITION MODULE DLibS;
    2  PROCEDURE P(x : INTEGER);
    3  END DLibS.

    0 errors