IMPLEMENTATION MODULE Calc; (* Sample library implementation. *) PROCEDURE Add(a, b: INTEGER): INTEGER; BEGIN RETURN a + b END Add; END Calc.