Don't serialize the same object twice

[sylvainhalle]

Instead, the serializer should keep a pool of objects already serialized, and when encountering the same object twice, replace it by a reference to the first.