--- /dev/null
+
+let _ = Helm_registry.load_from "foo.conf.xml"
+let fname =
+ Http_getter.getxml ~format:`Normal ~patch_dtd:true
+ "cic:/Coq/Init/Logic/False.ind"
+in
+let ic = open_in fname in
+(try
+ while true do
+ let line = input_line ic in
+ print_endline line
+ done
+with End_of_file -> ());
+Sys.remove fname
+