M2compiler-V1/tests/p_mixed.mod

MODULE PMixed;
VAR log : INTEGER; ExitCode : INTEGER;
PROCEDURE Add1(x : INTEGER) : INTEGER;
BEGIN
  log := log + 1;
  RETURN x + 1
END Add1;
PROCEDURE Bump(x : INTEGER);
BEGIN
  log := log + x
END Bump;
BEGIN
  log := 0;
  Bump(5);
  Add1(0);
  ExitCode := Add1(Add1(20)) * 2 + log
END PMixed.