The text ed77b4c8e383, as Debian 7 (Wheezy) shipped it.
User time of the given task
function::task_utime_tid(3stap) on Linux now
