The text a2f4839c7cfc, as Debian 8 (Jessie) shipped it.
The priority value of the task
function::task_prio(3stap) on Linux now
