history_index     105 src/sort.cpp   static int  history_index     (int move, const board_t * board);
history_index     494 src/sort.cpp      index = history_index(move,board);
history_index     518 src/sort.cpp      index = history_index(move,board);
history_index     545 src/sort.cpp      index = history_index(move,board);
history_index     723 src/sort.cpp      index = history_index(move,board);
history_index     758 src/sort.cpp      index = history_index(move,board);