let
store_with mem loc fmt v =
F
.e_update mem (addr loc) (encode fmt v)