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