Re: [petsc-dev] Broken example ?