Listing:

    1  IMPLEMENTATION MODULE DLib;
    2  PROCEDURE Add(n, m : INTEGER);
*****                               ^ procedure forward mismatch or missing body
    3  BEGIN
    4    counter := n + m
    5  END Add;
    6  PROCEDURE Get() : INTEGER;
    7  BEGIN
    8    RETURN 0
    9  END Get;
   10  BEGIN
   11  END DLib.
*****      ^ procedure forward mismatch or missing body

    2 errors