let fresh_var pool basename =
let new_contents = try
let counter = Hashtbl.find pool basename in
match counter with
| None -> Some 0
| Some i -> Some (succ i)
with Not_found -> None
in
Hashtbl.replace pool basename new_contents;
new_contents