M2compiler-V2/tests/s5lib.mod

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.