Constant mextk_sys::JOBJ_ENVELOPE_MODEL

pub const JOBJ_ENVELOPE_MODEL: u32 = 4;