Reinstrumented crc.c