let get_var ~create m lv =
try Varinfo.Hashtbl.find m.variables lv
with Not_found ->
if create then
(let v = D.fresh lv.vname (Mdata.Vacsl(Ctype lv.vtype)) in
Varinfo.Hashtbl.add m.variables lv v;
v)
else raise Not_found