pub const X86_FPU_FLAGS_UNDEFINED_C3: u32 = 32768;