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