Constant X_400_TO_RFC_822_MAPPING 

pub const X_400_TO_RFC_822_MAPPING: ObjectIdentifier;