Constant OTHER_MAILBOX 

pub const OTHER_MAILBOX: ObjectIdentifier;