The text df3ba02a3550, as Debian 8 (Jessie) shipped it.
systemtap ip tapset
tapset::ip(3stap) on Linux now