extern void* head_routine(void* args);