Actual source code: petscdmnetwork.h90