Constant __PTHREAD_COND_SIZE__ 

pub const __PTHREAD_COND_SIZE__: u32 = 40;