docs: private void writeHeader(OutputStream stream, Header header) throws IOException {
          DataOutputStream dos = new DataOutputStream(stream);
          dos.writeUTF(HEADER);
  
          // Write the current version
          dos.writeInt(1);
  
          // Write the normalizer opType
          dos.writeUTF(header.normalizerType.toString());
  
          // If the header contains a custom class opName, write that too
          if (header.customStrategyClass != null) {
              dos.writeUTF(header.customStrategyClass.getName());
          }
      }