static void writeHeader(OutputStream& os, header& h) { os.outputBits(h.first, 32); for (uint32 i = 0; i < 8; i++) { os.outputBits(h.increments[i], 8); } os.outputBits(h.fileSize, 32); os.outputBits(h.tempSize, 32); }