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