let func_orig_table = Cil_datatype.Varinfo.Hashtbl.create 17