M2compiler-V1/tests/t_bad_mmod.mod

MODULE TBadMMod;
MODULE M EXPORT cnt;
VAR cnt : INTEGER;
END M;
VAR x : M;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := 0
END TBadMMod.