pub type pthread_once_t = i32;