Symbol: krb5_responder_get_challenge