M2compiler-V3/compiler/tests/t_varpar.mod

MODULE TVarPar;
// VAR params: swap + accumulate through addresses. Exit 40.
VAR ExitCode : INTEGER;

PROCEDURE Swap(VAR a, b : INTEGER);
VAR t : INTEGER;
BEGIN
  t := a;
  a := b;
  b := t
END Swap;

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

VAR p, q : INTEGER;
BEGIN
  p := 10;
  q := 20;
  Swap(p, q);
  Bump(p, 5);
  Bump(q, 5);
  ExitCode := p + q
END TVarPar.