pub type pthread_key_t = c_uint;