Update ticket-spin-lock.txt