code: private void encodeStringLiteral(OutputStream out, byte[] string) throws IOException {
      int huffmanLength = Huffman.ENCODER.getEncodedLength(string);
      if ((huffmanLength < string.length && !forceHuffmanOff) || forceHuffmanOn) {
        encodeInteger(out, 0x80, 7, huffmanLength);
        Huffman.ENCODER.encode(out, string);
      } else {
        encodeInteger(out, 0x00, 7, string.length);
        out.write(string, 0, string.length);
      }
    }
docs: Encode string literal according to Section 5.2.