Initial import from Stockfish (7665034)