times(2) on Linux

The text 0be4bcf3effb, as Debian 11 (Bullseye) shipped it.

get process times

times(2) on Linux now