pub type cpthread_t = u64;