code: def read_varint(stream):
      
      value = 0
      while True:
          byte = ord(stream.read(1))
          if not byte & 0b10000000:
              return value << 7 | byte
          value = value << 7 | (byte & 0b01111111)
docs: Read while the most significant bit is set, then put the 7 least
      significant bits of all read bytes together to create a number.