let
func_orig_table =
Cil_datatype
.
Varinfo
.
Hashtbl
.create 17