Basic serialization and deserialization to JSON works