main (void)

{

  struct timeval t_m = {0, 0};

  struct timezone t_z = {0, 0};

  struct timeval t_m1 = {0, 0};

  int i;



  if (gettimeofday (&t_m, &t_z) != 0)

    err ("gettimeofday");



  for (i = 1; i < 10000; i++)

    if (gettimeofday (&t_m1, NULL) != 0)

      err ("gettimeofday 1");

    else

      if (t_m1.tv_sec * 1000000 + t_m1.tv_usec

	  != (t_m.tv_sec * 1000000 + t_m.tv_usec + i * 1000))

	{

	  fprintf (stderr, "t0 (%ld, %ld), i %d, t1 (%ld, %ld)\n",

		   t_m.tv_sec, t_m.tv_usec, i, t_m1.tv_sec, t_m1.tv_usec);

	  abort ();

	}



  if (time (NULL) != t_m1.tv_sec)

    {

      fprintf (stderr, "time != gettod\n");

      abort ();

    }



  printf ("pass\n");

  exit (0);

}

main (void)

{

  struct timeval t_m = {0, 0};

  struct timezone t_z = {0, 0};

  struct timeval t_m1 = {0, 0};

  int i;



  if (gettimeofday (&t_m, &t_z) != 0)

    err ("gettimeofday");



  for (i = 1; i < 10000; i++)

    if (gettimeofday (&t_m1, NULL) != 0)

      err ("gettimeofday 1");

    else

      if (t_m1.tv_sec * 1000000 + t_m1.tv_usec

	  != (t_m.tv_sec * 1000000 + t_m.tv_usec + i * 1000))

	{

	  fprintf (stderr, "t0 (%ld, %ld), i %d, t1 (%ld, %ld)\n",

		   t_m.tv_sec, t_m.tv_usec, i, t_m1.tv_sec, t_m1.tv_usec);

	  abort ();

	}



  if (time (NULL) != t_m1.tv_sec)

    {

      fprintf (stderr, "time != gettod\n");

      abort ();

    }



  printf ("pass\n");

  exit (0);

}

FUNC_0 (void)

{

  struct timeval VAR_0 = {0, 0};

  struct timezone VAR_1 = {0, 0};

  struct timeval VAR_2 = {0, 0};

  int VAR_3;



  if (gettimeofday (&VAR_0, &VAR_1) != 0)

    err ("gettimeofday");



  for (VAR_3 = 1; VAR_3 < 10000; VAR_3++)

    if (gettimeofday (&VAR_2, NULL) != 0)

      err ("gettimeofday 1");

    else

      if (VAR_2.tv_sec * 1000000 + VAR_2.tv_usec

	  != (VAR_0.tv_sec * 1000000 + VAR_0.tv_usec + VAR_3 * 1000))

	{

	  fprintf (stderr, "t0 (%ld, %ld), VAR_3 %d, t1 (%ld, %ld)\n",

		   VAR_0.tv_sec, VAR_0.tv_usec, VAR_3, VAR_2.tv_sec, VAR_2.tv_usec);

	  abort ();

	}



  if (time (NULL) != VAR_2.tv_sec)

    {

      fprintf (stderr, "time != gettod\n");

      abort ();

    }



  printf ("pass\n");

  exit (0);

}

FUNC_0 (void)
{ struct timeval VAR_0 = {0, 0}; struct timezone VAR_1 = {0, 0}; struct timeval VAR_2 = {0, 0}; int VAR_3; if (gettimeofday (&VAR_0, &VAR_1) != 0)
err ("gettimeofday"); for (VAR_3 = 1; VAR_3 < 10000; VAR_3++) if (gettimeofday (&VAR_2, NULL) != 0)
err ("gettimeofday 1"); else
if (VAR_2.tv_sec * 1000000 + VAR_2.tv_usec
!= (VAR_0.tv_sec * 1000000 + VAR_0.tv_usec + VAR_3 * 1000))
{ fprintf (stderr, "t0 (%ld, %ld), VAR_3 %d, t1 (%ld, %ld)\n",
VAR_0.tv_sec, VAR_0.tv_usec, VAR_3, VAR_2.tv_sec, VAR_2.tv_usec); abort (); } if (time (NULL) != VAR_2.tv_sec)
{ fprintf (stderr, "time != gettod\n"); abort (); } printf ("pass\n"); exit (0); }