// - game_em.use_old_explosions (default: FALSE)
// - game_em.use_old_android (default: FALSE)
// - game_em.use_old_push_elements (default: FALSE)
+ // - game_em.use_old_push_into_acid (default: FALSE)
// - game_em.use_wrap_around (default: TRUE)
game_em.level_solved = FALSE;