long crc32val;

void UpdateCRC(unsigned char *s,
               register int len);

 /* update running CRC calculation with contents of a buffer */