-extern int Bioskey();
-
-
-////
-//// Debug
-////
-
-extern bool dbg_show_mean;
-extern bool dbg_show_hit_rate;
-
-extern uint64_t dbg_cnt0;
-extern uint64_t dbg_cnt1;
+extern int input_available();
+extern void prefetch(char* addr);
+extern void prefetchTables(Key pKey, Key mKey, int threadID);