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