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