Re: [petsc-dev] Naming for functions that are safe to call from threads