#include <pthread.h>

    int
    pthread_mutex_setname_np (
             pthread_mutex_t   *mutex,
             const char   *name,
             void   *mbz);