-////
-//// Functions
-////
-
-int main(int argc, char *argv[]) {
-
- // Disable IO buffering
- setbuf(stdin, NULL);
- setbuf(stdout, NULL);
- std::cout.rdbuf()->pubsetbuf(NULL, 0);
- std::cin.rdbuf()->pubsetbuf(NULL, 0);
+extern void uci_loop();
+extern void benchmark(int argc, char* argv[]);
+extern void kpk_bitbase_init();