[petsc-users] a question about PetscSectionCreate