Symbol: dec_count