Constant KERB_TICKET_FLAGS_enc_pa_rep 

pub const KERB_TICKET_FLAGS_enc_pa_rep: u32 = 65536u32;