The text a72a85c70cc7, as Debian 10 (Buster) shipped it.
TSVIOReaderGet API function
TSVIOReaderGet(3ts) on Linux now
