let mem_at env lab = try List.assoc lab env.memories with Not_found -> let m,ta = varmem_at env lab in {store = F.var m ; talloc = F.var ta }