The text e713337ec30f, as Debian 11 (Bullseye) shipped it.
<time.h>: Time
avr_time(3avr) on Linux now
