#include <pthread.h>

    int
    pthread_mutex_unlock (
             pthread_mutex_t   *mutex);