The text 10aa80c9f1ea, as Debian 11 (Bullseye) shipped it.
systemtap ipmib tapset
tapset::ipmib(3stap) on Linux now
