Constant NID_otherMailbox 

pub const NID_otherMailbox: i32 = 475;