Symbol: krb5enc_verify_hash