Serialization / deserialization of record values