Constant MAIL_RECEIPT 

pub const MAIL_RECEIPT: ObjectIdentifier;