The text df241626b663, as Debian 1.3 (Bo) shipped it.
return the user time for a process in seconds
second(3) on Linux now
