Redefine tc_counter_t