(De)serialization is slow

Especially with large arrays (or perhaps just with large records), the
performance of converting a serialized output stream to XML is very
sluggish.