internal void WriteGzipFooter(uint gzipCrc32, uint inputStreamSize) {
this.outputBuf[this.outputPos++] = (byte)(gzipCrc32 & 0xff);
this.outputBuf[this.outputPos++] = (byte)((gzipCrc32 >> 8) & 0xff);
this.outputBuf[this.outputPos++] = (byte)((gzipCrc32 >> 0x10) & 0xff);
this.outputBuf[this.outputPos++] = (byte)((gzipCrc32 >> 0x18) & 0xff);
this.outputBuf[this.outputPos++] = (byte)(inputStreamSize & 0xff);
this.outputBuf[this.outputPos++] = (byte)((inputStreamSize >> 8) & 0xff);
this.outputBuf[this.outputPos++] = (byte)((inputStreamSize >> 0x10) & 0xff);
this.outputBuf[this.outputPos++] = (byte)((inputStreamSize >> 0x18) & 0xff);
}