Constant __PTHREAD_MUTEX_SIZE__ 

pub const __PTHREAD_MUTEX_SIZE__: usize = 56;