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