C_Binding

   #include <pthread.h>

   int
   pthread_mutex_init (
            pthread_mutex_t   *mutex,
            const pthread_mutexattr_t   *attr);