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