let make_local_iter func_name =
try Hashtbl.find local_iter_vars func_name
with
| Not_found ->
let typ = TInt (IInt,[]) in
let name = "_buch_iter" in
let func = Kernel_function.get_definition (Globals.Functions.find_by_name func_name) in
let fresh_name = get_fresh_name (func.sformals@func.slocals) name in
let vi = Cil.makeLocalVar func fresh_name typ in
Hashtbl.add local_iter_vars func_name vi;
vi