1 #include <pthread.h>
2 
pthread_mutex_destroy(pthread_mutex_t * mutex)3 int pthread_mutex_destroy(pthread_mutex_t* mutex) {
4     return 0;
5 }
6