The text 4b9ed2b4c9d4, as Debian 10 (Buster) shipped it.
API function
gnutls_range_split(3) on Linux now
