C_Binding

   #include <pthread.h>

   int
   pthread_mutexattr_destroy (
            pthread_mutexattr_t   *attr);