extern const std::string engine_info(bool to_uci = false);
extern int system_time();
extern int cpu_count();
-extern void timed_wait(WaitCondition*, Lock*, int);
+extern void timed_wait(WaitCondition&, Lock&, int);
extern void prefetch(char* addr);
extern void dbg_hit_on(bool b);