The text 15b8c03ebb7a, as Debian 8 (Jessie) shipped it.
API function
gnutls_session_set_ptr(3) on Linux now
