Symbol: krb5_dk_decrypt_maybe_trunc_hmac