auto_common_spec: test json serialization and deserialization