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