KRB5_S4U_OPTS_USE_REPLY_KEY_USAGE
req_s4u_user->user_id.options & KRB5_S4U_OPTS_USE_REPLY_KEY_USAGE;
if (req_s4u_user->user_id.options & KRB5_S4U_OPTS_USE_REPLY_KEY_USAGE)
if (rep_s4u_user->user_id.options & KRB5_S4U_OPTS_USE_REPLY_KEY_USAGE)
KRB5_S4U_OPTS_USE_REPLY_KEY_USAGE) {
s4u_user.user_id.options = KRB5_S4U_OPTS_USE_REPLY_KEY_USAGE;