The text f97ed67b1ca0, as Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.
execution time profile
profil(2) on Linux now
