The text d31ee22d1fa6, as Debian 7 (Wheezy) shipped it.
The thread identifier of the task
function::task_tid(3stap) on Linux now
