The text df50be97bf80, as Debian 9 (Stretch) shipped it.
The name of the given process identifier
function::pid2execname(3stap) on Linux now
