The text 407a5a07d459, as Debian 7 (Wheezy) shipped it.
The process identifier of the task
function::task_pid(3stap) on Linux now
