__pthread_set_default_priority
__pthread_set_default_priority(int32 priority)
void __pthread_set_default_priority() {}