+const std::string engine_info(bool to_uci = false);
+void timed_wait(WaitCondition&, Lock&, int);
+void prefetch(char* addr);
+void start_logger(bool b);
+
+void dbg_hit_on(bool b);
+void dbg_hit_on_c(bool c, bool b);
+void dbg_mean_of(int v);
+void dbg_print();