A bug removed in improved_fast_endgame_solver.c.