pub type thread_state_flavor_t = c_int;