The text f3eff9319daa, as Debian 9 (Stretch) shipped it.
systemtap dev tapset
tapset::dev(3stap) on Linux now
