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