Symbol: krb5int_aes_dk_decrypt