pub type pthread_t = u64;