See pthread_mutexattr_destroy.html