M2compiler-V1/tests/m_bad_mvar.mod

MODULE MBadMVar;
MODULE M EXPORT cnt, Bump;
VAR cnt : INTEGER;
PROCEDURE Bump(VAR x : INTEGER);
BEGIN
  x := x + 1
END Bump;
END M;
VAR ExitCode : INTEGER;
BEGIN
  M.Bump(M.cnt);
  ExitCode := 0
END MBadMVar.