Add beginnings of a ticket allocator