+
+#if 1
+
+#if 1
+ printf("::: DoGameStuff.c: !!!!!!!!!! GAME OVER !!!!!!!!!!\n");
+ printf("::: [KillMurphyFlag == %d]\n", KillMurphyFlag);
+#endif
+
+#if 1
+ /* give Murphy some more time (LeadOutCounter) to reach the exit */
+#else
+ game_sp_info.GameOver = TRUE;
+#endif
+
+#endif