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