Symbol: krb5_get_credentials_val_renew_core