The text b2bd6952ede3, as Debian 10 (Buster) shipped it.
API function
gnutls_x509_cidr_to_rfc5280(3) on Linux now
