Constant KDC_TKT_COMMON_MASK

pub const KDC_TKT_COMMON_MASK: krb5_flags = 0x54800000;