Constant PREFERRED_SERVER_LIST 

pub const PREFERRED_SERVER_LIST: ObjectIdentifier;