The text 5d4daf2f38f9, as Debian 7 (Wheezy) shipped it.
convert time interval to tick count
tvtohz(9freebsd) on Linux now
