hackbench_thread
create_pthread(&hackthread.pthread, NULL, hackbench_thread, (void *) 0);
extern void *hackbench_thread(void *t);