Symbol: init_counter