The text e6e8e641e75e, as Debian 10 (Buster) shipped it.
systemtap tty tapset
tapset::tty(3stap) on Linux now
