Simpler serialized format