The text 7da31fffaf67, as Debian 9 (Stretch) shipped it.
list PKCS#11 available tokens
pkcs11-tokens(8) on Linux now
