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