times(2) on Linux

The text 53a7b07bab5f, as Debian 8 (Jessie) shipped it.

get process times

times(2) on Linux now