The text 73755bd0a230, as Debian 9 (Stretch) shipped it.
systemtap ipmib tapset
tapset::ipmib(3stap) on Linux now