a note on serialization specs