}
} // loc_g_5E8B:
+#if 0
+ printf("::: RedDiskReleaseFlag == %d\n", RedDiskReleaseFlag);
+#endif
+
bl = DemoKeyCode;
if (bl != 0) // a key was pressed!
goto locKeyPressed5FCF;
if (LowByte(InfotronsNeeded) != 0)
return;
-#if 1
+#if 0
if (!game_sp.LevelSolved)
printf("::: Murphy.c: !!!!!!!!!! LEVEL %d SOLVED !!!!!!!!!!\n", level_nr);
#endif