pub type HAuthTicket = uint32;