code: def append_string(self, value):
          
          self._stream.append_var_uint32(len(value))
          self._stream.append_raw_bytes(value)
docs: Appends a length-prefixed string to our buffer, with the
          length varint-encoded.