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