The text c01503e557ae, as Debian 7 (Wheezy) shipped it.
The name of the task
function::task_execname(3stap) on Linux now
