The text 4006bf013c77, as Debian 8 (Jessie) shipped it.
systemtap socket tapset
tapset::socket(3stap) on Linux now
