let make_local_tmp func_name =
  try
    Hashtbl.find local_tmp_vars func_name
  with
    | Not_found ->
        let typ = TInt (IInt,[]) in
        let name = "_buch_tmp" 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_tmp_vars func_name vi;
        vi