let get_fresh_buffer_name name =
let name_of_n n =
if n <= 1
then name
else Printf.sprintf "%s<%d>" name n
in
let rec iter n =
let name = name_of_n n in
if List.exists (fun b -> b#name = name) !buffers then
iter (n+1)
else
name
in
iter 1