Actual source code: petscdmpatch.h90