Symbol: ADD_COUNTER