The text c88026701505, as Debian 8 (Jessie) shipped it.
API function
gnutls_tpm_key_list_deinit(3) on Linux now
