Symbol: crc_benchmark