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