Constant TELEX_NUMBER 

pub const TELEX_NUMBER: ObjectIdentifier;