M2compiler-V3/compiler/tests/sepres.mod

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