printf("::: locExitMainGameLoop reached [%d]\n", LeadOutCounter);
printf("::: [KillMurphyFlag == %d]\n", KillMurphyFlag);
#endif
printf("::: locExitMainGameLoop reached [%d]\n", LeadOutCounter);
printf("::: [KillMurphyFlag == %d]\n", KillMurphyFlag);
#endif