Symbol: mit_crc32