Constant THREAD_STATE_FLAVOR_LIST 

pub const THREAD_STATE_FLAVOR_LIST: thread_state_flavor_t = 0;