The text 6ce71e6e2ec2, as Debian 6.0 (Squeeze) shipped it.
User time of the given task
function::task_utime_tid(3stap) on Linux now
