let subst_lval env t ptr exp p = let mem_here = mem_at env Clabels.Here in let new_mem = store mem_here ptr t exp in let vmb = vbits_of_mem mem_here in D.subst vmb (F.wrap new_mem) p