Symbol: tb_crc32