Constant UDDI_HOSTING_REDIRECTOR 

pub const UDDI_HOSTING_REDIRECTOR: ObjectIdentifier;