The text f2cb69fcdf45, as Debian 12 (Bookworm) shipped it.
API function
gnutls_fips140_pop_context(3) on Linux now
