-#if 0
-locExitMainGameLoop:
-#endif
-
-#if 1
- printf("::: locExitMainGameLoop reached [%d]\n", LeadOutCounter);
- printf("::: [KillMurphyFlag == %d]\n", KillMurphyFlag);
-#endif
-
-#if 1
- /* if the game is not won when reaching this point, then it is lost */