pub const __PTHREAD_COND_SIZE__: usize = 40;