M2compiler-V1/tests/p_empty.mod

MODULE PEmpty;
VAR ExitCode : INTEGER;
PROCEDURE Nop;
BEGIN
END Nop;
PROCEDURE Nop2;
END Nop2;
BEGIN
  Nop;
  Nop2;
  ExitCode := 3
END PEmpty.