-extern int Bioskey();
-
-////
-//// Debug
-////
-extern long dbg_cnt0;
-extern long dbg_cnt1;
-
-inline void dbg_hit_on(bool b) { dbg_cnt0++; if (b) dbg_cnt1++; }
-inline void dbg_hit_on_c(bool c, bool b) { if (c) dbg_hit_on(b); }
-
-inline void dbg_before() { dbg_cnt0++; }
-inline void dbg_after() { dbg_cnt1++; }
-
-inline void dbg_mean_of(int v) { dbg_cnt0++; dbg_cnt1 += v; }
-
-extern void dbg_print_hit_rate();
-extern void dbg_print_mean();
+extern int input_available();
+extern void prefetch(char* addr);
+extern void prefetchPawn(Key, int);