pub const X86_FPU_FLAGS_TEST_C3: u32 = 524288;