The text 57cdc7cb9d1f, as Debian 7 (Wheezy) shipped it.
User time of the current task
function::task_utime(3stap) on Linux now
