Symbol: krb5int_fast_reply_key