let subst_lval m t ptr exp p =
    let s = F.wrap (store m ptr t exp) in
    L.subst m.vbits s p