The text f7de550fc4a7, as Debian 12 (Bookworm) shipped it.
systemtap linuxmib tapset
tapset::linuxmib(3stap) on Linux now
