The text f02442fa2596, as Debian 10 (Buster) shipped it.
convert time interval to tick count
tvtohz(9freebsd) on Linux now
