random_device TicketGenerator true true has by value