The text 234f28d0e7f7, as Debian 13 (Trixie) shipped it.
determine processor time
clock(3) on Linux now
