do_timestamp
do_timestamp(tnow + deltat, " (at %s)");
do_timestamp(tnow, "[%s] ");
static void do_timestamp(time_t, const char *);