The text b4ef40d39d3a, as Debian 6.0 (Squeeze) shipped it.
Get the specified extension data
gnutls_x509_crl_get_extension_data(3) on Linux now