C_Binding

   #include <pthread.h>

   int
   pthread_cond_wait (
            pthread_cond_t   *cond,
            pthread_mutex_t   *mutex);