+
+#if 1
+#if 0
+ printf("::: *** %d, %d, %d\n", KillMurphyFlag,
+ game_sp_info.LevelSolved, game_sp_info.GameOver);
+#endif
+
+#if 0
+ if (KillMurphyFlag == 1 &&
+ !game_sp_info.LevelSolved &&
+ !game_sp_info.GameOver)
+ {
+#if 1
+ printf("::: DoGameStuff.c: !!!!!!!!!! GAME OVER !!!!!!!!!!\n");
+#endif
+
+ game_sp_info.GameOver = TRUE;
+ }
+#endif
+#endif
+