If tickets can be up to 12K, and we usually don't need that much, and we're talking about kernel memory, would it make sense to dynamically allocate the space for the ticket?