Re: [petsc-dev] [petsc-maint #64229] Re: PetscExceptionTry1