The text e255c0b4718f, as Debian 12 (Bookworm) shipped it.
The priority value of the task
function::task_prio(3stap) on Linux now
