1: static const char help[] = "EXAMPLE REMOVED.\n\n";

  5: int main(int argc, char *argv[])
  6: {

  9:   PetscInitialize(&argc,&argv,0,help);
 10:   PetscFinalize();
 11:   return 0;
 12: }