pub type pthread_once_t = c_int;