history_bad       681 src/search_full.cpp             history_bad(move,board);
history_bad        45 src/sort.h     extern void history_bad  (int move, const board_t * board);