Documenting the binary file format