The text 70d074f323e2, as Debian 6.0 (Squeeze) shipped it.
returns the number of CRLs in a PKCS7 crl set
gnutls_pkcs7_get_crl_count(3) on Linux now