pub type pthread_barrierattr_t = c_int;