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