protected final static void writeCRC(OutputStream os, CRC32 crc) throws IOException {
		int i = (int) crc.getValue();
		os.write(new byte[] {
				(byte) ((i >> 24) & 0xFF),
				(byte) ((i >> 16) & 0xFF),
				(byte) ((i >> 8) & 0xFF),
				(byte) (i & 0xFF)
		});
		crc.reset();
	}