Constant KERB_TICKET_FLAGS_may_postdate 

pub const KERB_TICKET_FLAGS_may_postdate: KERB_TICKET_FLAGS;