The text 381f742feaf5, as Debian 7 (Wheezy) shipped it.
The name of the given process identifier
function::pid2execname(3stap) on Linux now
