The text 0ab8bb12ff04, as Debian 10 (Buster) shipped it.
API function
gnutls_supplemental_recv(3) on Linux now
