#include "petscpartitioner.h" PetscErrorCode PetscPartitionerShellGetRandom(PetscPartitioner part, PetscBool *random)