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