pub const X86_EFLAGS_UNDEFINED_AF: u64 = 17592186044416;