3: PetscErrorCode PetscLogInitializeNested(void);
  4: PetscErrorCode PetscLogFreeNested(void);
  5: PetscErrorCode PetscLogViewNested(PetscViewer);
  6: #endif