pub const X86_EFLAGS_PRIOR_ZF: u32 = 8192;