let initialized_var_table = Cil_datatype.Varinfo.Hashtbl.create 17