let mem_at env l =
try find_mem_at env l
with Not_found ->
let m = new_mem () in
let params =
if l = Clabels.Pre then Some (Varinfo.Hashtbl.create 10) else None
in
let m = (m, params) in
env.memories <- (l,m) :: env.memories;
m