pub const X86_EFLAGS_SET_OF: u64 = 4503599627370496;