A debugging library for PKCS11