pub type pthread_t = c_ulong;