Simple check on serialization output