let nuprl_dir = lazy (Helm_registry.get "getter.nuprl_dir")
let rdf_dir = lazy (Helm_registry.get "getter.rdf_dir")
let dtd_dir = lazy (Helm_registry.get "getter.dtd_dir")
let nuprl_dir = lazy (Helm_registry.get "getter.nuprl_dir")
let rdf_dir = lazy (Helm_registry.get "getter.rdf_dir")
let dtd_dir = lazy (Helm_registry.get "getter.dtd_dir")