pub const X86_EFLAGS_RF_BIT: u32 = 16; // 16u32