times(2) on Linux

The text cef76253e27c, as Debian 12 (Bookworm) shipped it.

get process times

times(2) on Linux now