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