function::execname(3stap) on Linux

The text 3a1495d34823, as Debian 13 (Trixie) shipped it. The page shows this text now.

Returns the execname of a target process (or group of processes)