Constant KERB_TICKET_FLAGS_postdated 

pub const KERB_TICKET_FLAGS_postdated: KERB_TICKET_FLAGS;