The text b2b322b292f8, as Debian 3.1 (Sarge) shipped it.
whatever these functions do
krb5_timeofday(3) on Linux now
