IMPLEMENTATION MODULE S5Lib;
PROCEDURE Add(n : INTEGER);
BEGIN
  total := total + n
END Add;
PROCEDURE Get() : INTEGER;
BEGIN
  RETURN total + unit
END Get;
BEGIN
  total := 3
END S5Lib.