pub type __darwin_pthread_mutex_t = _opaque_pthread_mutex_t;