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