Constant _PTHREAD_MUTEX_SIG_init 

pub const _PTHREAD_MUTEX_SIG_init: u32 = 850045863;