Constant KERB_TICKET_FLAGS_proxy 

pub const KERB_TICKET_FLAGS_proxy: KERB_TICKET_FLAGS;