The text b30e9620cf2f, as Debian 12 (Bookworm) shipped it.
determine processor time
clock(3) on Linux now
