times(2) on Linux

The text 39132730dda7, as Debian 2.2 (Potato) shipped it.

get process times

times(2) on Linux now