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