// ---------------------- END OF GAME-BUSY LOOP (including lead-out) ---------
// if the game is not won when reaching this point, then it is lost
// ---------------------- END OF GAME-BUSY LOOP (including lead-out) ---------
// if the game is not won when reaching this point, then it is lost