docs: public synchronized void writeRecord(byte[] record, String header) {
          long length = record.length + nlen;
          PrintStream ps = getPrintStream(length, header);
          if (isWindows)
              ps.write(record, 0, (int) length - 2);
          else
              ps.write(record, 0, (int) length - 1);
  
          ps.println();
      }