The text 6a3f41beb0b2, as Debian 8 (Jessie) shipped it.
The process identifier of the task
function::task_pid(3stap) on Linux now