crc32 casting