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