let cic_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/cic_db")
let cic_dbm_real = lazy (Helm_registry.get "getter.maps_dir" ^ "/cic_db.pag")
let nuprl_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/nuprl_db")
let cic_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/cic_db")
let cic_dbm_real = lazy (Helm_registry.get "getter.maps_dir" ^ "/cic_db.pag")
let nuprl_dbm = lazy (Helm_registry.get "getter.maps_dir" ^ "/nuprl_db")