Update std-serialization-format.md