A PHP serializer implementation for Python