pub static x86_FLOAT_STATE32: thread_state_flavor_t