Renamed TicketLock -> SpinlockTicket.