Constant __PTHREAD_MUTEXATTR_SIZE__ 

pub const __PTHREAD_MUTEXATTR_SIZE__: usize = 8;