The text f0d28c5f8dc5, as Debian 10 (Buster) shipped it.
The name of the task
function::task_execname(3stap) on Linux now
