chiark / gitweb /
predeclare preconsider_ok and multicore_check_for_new_best (no functional change)