#include <libxml/xpath.h>

int main() {
    xmlParserCtxt* ctxt = xmlNewParserCtxt();
    xmlDoc* doc = xmlCtxtReadFile(ctxt,
	"http://[fdf2:1e39:73d1:934e::119]:4567/Manifest.xml", NULL,
	XML_PARSE_NOERROR|XML_PARSE_NOWARNING);
    xmlFreeDoc(doc);
    xmlFreeParserCtxt(ctxt);
}
