Re: [petsc-dev] src/ksp/ksp/examples/tutorials/ex31.c do we need?