The text 07dae8a59d0e, as Debian 10 (Buster) shipped it.
User time of the task
function::task_utime(3stap) on Linux now
