more details on serialization format