IMPLEMENTATION MODULE DLib;
PROCEDURE Add(n : INTEGER);
BEGIN
  counter := n
END Add;
BEGIN
END DLib.