extern int get_system_time();
extern int cpu_count();
extern int input_available();
extern void prefetch(char* addr);
extern void prefetchTables(Key pKey, Key mKey, int threadID);
extern int get_system_time();
extern int cpu_count();
extern int input_available();
extern void prefetch(char* addr);
extern void prefetchTables(Key pKey, Key mKey, int threadID);