M2compiler-V1/tests/m_bad_priv.mod

MODULE MBadPriv;
MODULE M EXPORT cnt;
VAR cnt, secret : INTEGER;
END M;
VAR ExitCode : INTEGER;
BEGIN
  M.secret := 1;
  ExitCode := 0
END MBadPriv.