Symbol: adjust_ctr_overflow