pub type thread_state_t = *mut natural_t;