text: public static void WriteHeader(DataOutput @out, string codec, int version){BytesRef bytes = new BytesRef(codec);if (bytes.Length != codec.Length || bytes.Length >= 128){throw new System.ArgumentException("codec must be simple ASCII, less than 128 characters in length [got " + codec + "]");}@out.WriteInt32(CODEC_MAGIC);@out.WriteString(codec);@out.WriteInt32(version);}