What does this declaration in petscsys.h do? What type and value does PETSC_COMM_WORLD expand to? #define PETSC_EXTERN extern PETSC_VISIBILITY_PUBLIC PETSC_EXTERN MPI_Comm PETSC_COMM_WORLD; Thank you in advance, Marco