IMPLEMENTATION MODULE DLibS;
PROCEDURE P(x : BOOLEAN);
BEGIN
END P;
END DLibS.