The text 83ff3c5db0e7, as Debian 10 (Buster) shipped it.
clock and time functions
clock_gettime(2) on Linux now
