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