Symbol: cyc_coverage_t