M2compiler-V1/S4Limpl.mod

IMPLEMENTATION MODULE S4L;
PROCEDURE Add(x, y : INTEGER) : INTEGER;
BEGIN
  RETURN x + y
END Add;
PROCEDURE Bump(VAR x : INTEGER);
BEGIN
  x := x + 10
END Bump;
BEGIN
  n := 7
END S4L.