Symbol: COVERAGE_ANY_REG