extern int get_system_time();
extern int cpu_count();
extern int input_available();
extern void prefetch(char* addr);
extern void prefetchPawn(Key, int);
extern int get_system_time();
extern int cpu_count();
extern int input_available();
extern void prefetch(char* addr);
extern void prefetchPawn(Key, int);