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