pub const c__SIZEOF_PTHREAD_COND_T: u32 = 48;