don't know how to serialize the "real" object, since it doesn' t need to be writable.