+extern int input_available();
+extern void prefetch(char* addr);
+extern void prefetchPawn(Key, int);
+
+// Debug functions
+extern bool dbg_show_mean;
+extern bool dbg_show_hit_rate;
+extern void dbg_hit_on(bool b);
+extern void dbg_hit_on_c(bool c, bool b);
+extern void dbg_before();
+extern void dbg_after();
+extern void dbg_mean_of(int v);