+static void print_timestamp(FILE *f)
+{
+ struct timeval tv;
+ struct tm *tmp;
+ char ts[32];
+
+ gettimeofday(&tv, NULL);
+ tmp = localtime(&tv.tv_sec);
+ memset(ts, 0, sizeof(ts));
+ strftime(ts, sizeof(ts)-1, "%Y-%m-%d %H:%M:%S", tmp);
+ fprintf(f, "%s.%06ld: ", ts, tv.tv_usec);
+}
+