let get_fresh_ident () = ident_count:=!ident_count+1; ("buchfreshident"^(string_of_int !ident_count))