The text 9013e32d5e7c, as Debian 10 (Buster) shipped it.
get date and time
Tcl_GetTime(3tcl) on Linux now
