__allocate_pthread
__allocate_pthread(void* (*entry)(void*), void *data)
void __allocate_pthread() {}