-////
-//// Constants
-////
-
-
-/// Version number. If this is left empty, the current date (in the format
-/// YYMMDD) is used as a version number.
+extern const std::string engine_info(bool to_uci = false);
+extern void timed_wait(WaitCondition&, Lock&, int);
+extern void prefetch(char* addr);
+extern void start_logger(bool b);