Symbol: krb5_open_pkcs11_session