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