pub const X86_EFLAGS_UNDEFINED_CF: u64 = 35184372088832;