The text d05b812a61ae, as Debian 10 (Buster) shipped it.
API function
gnutls_record_get_discarded(3) on Linux now