let
store_with mem loc fmt v =
model_update mem (
Model
.addr loc) (
D
.encode fmt v)