#include <petscsys.h>
#include <petsctime.h>

#undef __FUNCT__
#define __FUNCT__ "main"
int main(int argc,char **argv)
{
  PetscLogDouble x,y;
  int            i,ierr;

  PetscInitialize(&argc,&argv,0,0);
  /* To take care of paging effects */
  ierr = PetscTime(&y);CHKERRQ(ierr);

  for (i=0; i<2; i++) {
    ierr = PetscTime(&x);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);
    ierr = PetscTime(&y);CHKERRQ(ierr);

    fprintf(stdout,"%-15s : %e sec\n","PetscTime",(y-x)/10.0);
  }

  ierr = PetscFinalize();
  PetscFunctionReturn(0);
}