Symbol: xchg_tail