code: def zrevrange(self, key, start, stop, withscores=False, encoding=_NOTSET):
          if not isinstance(start, int):
              raise TypeError("start argument must be int")
          if not isinstance(stop, int):
              raise TypeError("stop argument must be int")
          if withscores:
              args = [b'WITHSCORES']
          else:
              args = []
          fut = self.execute(b'ZREVRANGE', key, start, stop, *args,
                             encoding=encoding)
          if withscores:
              return wait_convert(fut, pairs_int_or_float)
          return fut