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