text: public static int CheckHeader(DataInput @in, string codec, int minVersion, int maxVersion){int actualHeader = @in.ReadInt32();if (actualHeader != CODEC_MAGIC){throw new System.IO.IOException("codec header mismatch: actual header=" + actualHeader + " vs expected header=" + CODEC_MAGIC + " (resource: " + @in + ")");}return CheckHeaderNoMagic(@in, codec, minVersion, maxVersion);}