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