1#include "threads_impl.h" 2 3int pthread_mutexattr_destroy(pthread_mutexattr_t* a) { 4 return 0; 5} 6