Infrastructure change: game_anim_length and game_flash_length now