The text 5bca44c5815e, as Debian 12 (Bookworm) shipped it.
systemtap linuxmib-filter-default tapset
tapset::linuxmib-filter-default(3stap) on Linux now