pub const X86_EFLAGS_SET_CF: u32 = 1073741824;