The text 8e5c049fc9cb, as Debian 3.1 (Sarge) shipped it.
Determine processor time
clock(3) on Linux now
