The text 3fe6cef22f2d, as Debian 4.0 (Etch) shipped it.
execution time profile
profil(3) on Linux now
