Constant NID_otherMailbox

pub const NID_otherMailbox: u32 = 475;