The text 71532cd626df, as Debian 11 (Bullseye) shipped it.
time functions for gawk
time(3am) on Linux now
