gettimeofday (&tv_now, NULL);
printf ("Indexed %d messages (%g messages/second)\n",
count, count / ((tv_now.tv_sec - tv_start.tv_sec) +
gettimeofday (&tv_now, NULL);
printf ("Indexed %d messages (%g messages/second)\n",
count, count / ((tv_now.tv_sec - tv_start.tv_sec) +