pub type cpthread_key_t = u32;