pub const __SIZEOF_PTHREAD_COND_COMPAT_T: u32 = 12;