The text 38f00e27a715, as Debian 10 (Buster) shipped it.
API function
gnutls_record_recv_seq(3) on Linux now
