Symbol: counter_impl