Symbol: mmTCC_EDC_COUNTER