The text 20c2d0b1aaa9, as Debian 12 (Bookworm) shipped it.
The name of the given process identifier
function::pid2execname(3stap) on Linux now
