Symbol: krb5_gss_pseudo_random