pub type pthread_t = u32;