Re: [petsc-dev] getting on with the nested timers