Use DEBUG_COUNTER_NAME_SIZE