Re: [petsc-dev] usage of string.h