pub type pthread_t = *mut c_void;