The text 000a6672bf41, as Debian 9 (Stretch) shipped it.
systemtap ucontext-symbols tapset
tapset::ucontext-symbols(3stap) on Linux now
