serialization extensions