See pthread_mutex_destroy.html