// When we have arrived here, some work has already been done by
// Position::undo_move. In particular, the side to move has been switched,
// When we have arrived here, some work has already been done by
// Position::undo_move. In particular, the side to move has been switched,