Constant __PTHREAD_CONDATTR_SIZE__ 

pub const __PTHREAD_CONDATTR_SIZE__: u32 = 8;