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