MODULE TLower3;
(* Lower L3: a function (params + result), a procedure with locals,
   calls, and RETURN with a value.  Exit 15. *)
VAR g : INTEGER;
VAR ExitCode : INTEGER;

PROCEDURE Add(a, b : INTEGER) : INTEGER;
VAR s : INTEGER;
BEGIN
  s := a + b;
  RETURN s
END Add;

PROCEDURE Bump(VAR x : INTEGER);
BEGIN
  x := x + 1
END Bump;

BEGIN
  g := Add(4, 10);
  Bump(g);
  ExitCode := g
END TLower3.