M2compiler-V1/tests/t_bad_mghost.mod

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