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