Symbol: krb5int_derive_random