times(2) on Linux

The text f4ee7f5093a9, as Debian 4.0 (Etch) shipped it.

get process times

times(2) on Linux now