The text 9da135fef1cc, as Debian 6.0 (Squeeze) shipped it.
clock and time functions
clock_gettime(2) on Linux now
