Document pthread_threading.h