The text 894dbddc8643, as Debian 10 (Buster) shipped it.
systemtap ipmib tapset
tapset::ipmib(3stap) on Linux now
