Constant DEFAULT_SERVER_LIST

pub const DEFAULT_SERVER_LIST: ObjectIdentifier;