pub const EPT_S_NOT_REGISTERED: u32 = 1753; // 1_753u32