pthread_cleanup: better documentation