1@@ -6 +6 @@ 2- PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 2); 3+ PetscValidHeaderSpecific(r, PETSC_RANDOM_CLASSID, 1); 4