The text 8c5d5adb2c57, as Debian 10 (Buster) shipped it.
API function
gnutls_dtls_prestate_set(3) on Linux now
