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