let base = (Helm_registry.get "tmp.dir") ^ "/maps" in
let formats i =
(Helm_registry.get "tmp.dir") ^ "/"^(string_of_int i)^"/maps"
let base = (Helm_registry.get "tmp.dir") ^ "/maps" in
let formats i =
(Helm_registry.get "tmp.dir") ^ "/"^(string_of_int i)^"/maps"