JSON serializer/deserializer for Python (python-3.x version)
