The text 17ceb19408c3, as Debian 12 (Bookworm) shipped it.
API function
gnutls_fips140_context_deinit(3) on Linux now
