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