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