let
initialized_var_table =
Cil_datatype
.
Varinfo
.
Hashtbl
.create 17