Constant DISPID_MX_NSMGR_PUSHCONTEXT 

pub const DISPID_MX_NSMGR_PUSHCONTEXT: u32 = 1408u32;