The text 309cab25f02d, as Debian 7 (Wheezy) shipped it.
The priority value of the task
function::task_prio(3stap) on Linux now
