times(3) on FreeBSD

The text c7d05dcd22b7, as FreeBSD 11.3-RELEASE shipped it.

process times

times(3) on FreeBSD now