Symbol: add_to_ctr