let nuprl_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/nuprl_db")
let rdf_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/rdf_db")
let xsl_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/xsl_db")
let nuprl_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/nuprl_db")
let rdf_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/rdf_db")
let xsl_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/xsl_db")