let empty = Cilutil.VarinfoHashtbl.create 10