The text 8fd618f8f32d, as Debian 10 (Buster) shipped it.
time functions for gawk
time(3am) on Linux now
