let
fresh_dname =
let
cpt = ref 0
in
fun
()
->
incr cpt;
"D"
^ (string_of_int !cpt)