pub type pthread_condattr_t = c_long;