M2compiler-V3/compiler/tests/sep_lib.mod

IMPLEMENTATION MODULE SepLib;
PROCEDURE Add (x : INTEGER);
BEGIN Value := Value + x END Add;
PROCEDURE Get () : INTEGER;
BEGIN RETURN Value END Get;
BEGIN Value := 40
END SepLib.