code: private void flushBuffer(byte[] append, int ofs, int len) throws IOException {
          int count;
  
          count = pos + len;
          if (count > 0) {
              dest.writeAsciiLn(Integer.toHexString(count));
              dest.write(buffer, 0, pos);
              dest.write(append, ofs, len);
              dest.writeAsciiLn();
              pos = 0;
          }
      }
docs: flush buffer and bytes in append