pub const X86_EFLAGS_SET_SF: u64 = 9007199254740992;