internal void WriteGzipHeader(int compression_level) {
this.outputBuf[this.outputPos++] = 0x1f;
this.outputBuf[this.outputPos++] = 0x8b;
this.outputBuf[this.outputPos++] = 8;
this.outputBuf[this.outputPos++] = 0;
this.outputBuf[this.outputPos++] = 0;
this.outputBuf[this.outputPos++] = 0;
this.outputBuf[this.outputPos++] = 0;
this.outputBuf[this.outputPos++] = 0;
if (compression_level == 10) {
this.outputBuf[this.outputPos++] = 2;
}
else {
this.outputBuf[this.outputPos++] = 4;
}
this.outputBuf[this.outputPos++] = 0;
}