pub type NumTickets = i64;