#include "_pthread.h" intpthread_mutex_destroy(pthread_mutex_t *const mutex){	USED(mutex);	return 0;}