+
+#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 */
+ if (!game_sp.LevelSolved)
+ game_sp.GameOver = TRUE;
+#endif
+
+#if 1
+ return subMainGameLoop;
+#endif
+
+
+