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