Constant CONTEXT_PROFILE_MASK 

pub const CONTEXT_PROFILE_MASK: u32 = 0x9126;