The text 9e847b2707a9, as Debian 8 (Jessie) shipped it.
API function
gnutls_record_recv_seq(3) on Linux now
