@@ -7,5 +7,5 @@
 {
   /* incorrect */
-  PetscAssertPointer(a, 2);
+  PetscAssertPointer(a, 1);
   PetscAssertPointer(b, 3);
   PetscAssertPointer(c, 4);
@@ -8,5 +8,5 @@
   /* incorrect */
   PetscAssertPointer(a, 2);
-  PetscAssertPointer(b, 3);
+  PetscAssertPointer(b, 2);
   PetscAssertPointer(c, 4);
   PetscAssertPointer(d, 5);
@@ -9,5 +9,5 @@
   PetscAssertPointer(a, 2);
   PetscAssertPointer(b, 3);
-  PetscAssertPointer(c, 4);
+  PetscAssertPointer(c, 3);
   PetscAssertPointer(d, 5);
   PetscAssertPointer(e, 6);
@@ -10,5 +10,5 @@
   PetscAssertPointer(b, 3);
   PetscAssertPointer(c, 4);
-  PetscAssertPointer(d, 5);
+  PetscAssertPointer(d, 4);
   PetscAssertPointer(e, 6);
   PetscAssertPointer(f, 7);
@@ -11,5 +11,5 @@
   PetscAssertPointer(c, 4);
   PetscAssertPointer(d, 5);
-  PetscAssertPointer(e, 6);
+  PetscAssertPointer(e, 5);
   PetscAssertPointer(f, 7);
   PetscAssertPointer(g, 8);
@@ -12,5 +12,5 @@
   PetscAssertPointer(d, 5);
   PetscAssertPointer(e, 6);
-  PetscAssertPointer(f, 7);
+  PetscAssertPointer(f, 6);
   PetscAssertPointer(g, 8);
   PetscAssertPointer(h, 9);
@@ -13,5 +13,5 @@
   PetscAssertPointer(e, 6);
   PetscAssertPointer(f, 7);
-  PetscAssertPointer(g, 8);
+  PetscAssertPointer(g, 7);
   PetscAssertPointer(h, 9);
 
@@ -14,5 +14,5 @@
   PetscAssertPointer(f, 7);
   PetscAssertPointer(g, 8);
-  PetscAssertPointer(h, 9);
+  PetscAssertPointer(h, 8);
 
   /* correct */
@@ -31,5 +31,5 @@
 {
   /* incorrect */
-  PetscAssertPointer(a, 2);
+  PetscAssertPointer(a, 1);
   PetscAssertPointer(b, 3);
   PetscAssertPointer(c, 4);
@@ -32,5 +32,5 @@
   /* incorrect */
   PetscAssertPointer(a, 2);
-  PetscAssertPointer(b, 3);
+  PetscAssertPointer(b, 2);
   PetscAssertPointer(c, 4);
   PetscAssertPointer(d, 5);
@@ -33,5 +33,5 @@
   PetscAssertPointer(a, 2);
   PetscAssertPointer(b, 3);
-  PetscAssertPointer(c, 4);
+  PetscAssertPointer(c, 3);
   PetscAssertPointer(d, 5);
   PetscAssertPointer(e, 6);
@@ -34,5 +34,5 @@
   PetscAssertPointer(b, 3);
   PetscAssertPointer(c, 4);
-  PetscAssertPointer(d, 5);
+  PetscAssertPointer(d, 4);
   PetscAssertPointer(e, 6);
   PetscAssertPointer(f, 7);
@@ -35,5 +35,5 @@
   PetscAssertPointer(c, 4);
   PetscAssertPointer(d, 5);
-  PetscAssertPointer(e, 6);
+  PetscAssertPointer(e, 5);
   PetscAssertPointer(f, 7);
   PetscAssertPointer(g, 8);
@@ -36,5 +36,5 @@
   PetscAssertPointer(d, 5);
   PetscAssertPointer(e, 6);
-  PetscAssertPointer(f, 7);
+  PetscAssertPointer(f, 6);
   PetscAssertPointer(g, 8);
   PetscAssertPointer(h, 9);
@@ -37,5 +37,5 @@
   PetscAssertPointer(e, 6);
   PetscAssertPointer(f, 7);
-  PetscAssertPointer(g, 8);
+  PetscAssertPointer(g, 7);
   PetscAssertPointer(h, 9);
 
@@ -38,5 +38,5 @@
   PetscAssertPointer(f, 7);
   PetscAssertPointer(g, 8);
-  PetscAssertPointer(h, 9);
+  PetscAssertPointer(h, 8);
 
   /* correct */
@@ -65,5 +65,5 @@
 
   /* correct */
-  PetscAssertPointer(a, 1);
+  
   PetscAssertPointer(b, 2);
   PetscAssertPointer(c, 3);
@@ -66,5 +66,5 @@
   /* correct */
   PetscAssertPointer(a, 1);
-  PetscAssertPointer(b, 2);
+  
   PetscAssertPointer(c, 3);
   PetscAssertPointer(d, 4);
@@ -67,5 +67,5 @@
   PetscAssertPointer(a, 1);
   PetscAssertPointer(b, 2);
-  PetscAssertPointer(c, 3);
+  
   PetscAssertPointer(d, 4);
   PetscAssertPointer(e, 5);
@@ -68,5 +68,5 @@
   PetscAssertPointer(b, 2);
   PetscAssertPointer(c, 3);
-  PetscAssertPointer(d, 4);
+  
   PetscAssertPointer(e, 5);
   PetscAssertPointer(f, 6);
@@ -69,5 +69,5 @@
   PetscAssertPointer(c, 3);
   PetscAssertPointer(d, 4);
-  PetscAssertPointer(e, 5);
+  
   PetscAssertPointer(f, 6);
   PetscAssertPointer(g, 7);
@@ -70,5 +70,5 @@
   PetscAssertPointer(d, 4);
   PetscAssertPointer(e, 5);
-  PetscAssertPointer(f, 6);
+  
   PetscAssertPointer(g, 7);
   PetscAssertPointer(h, 8);
@@ -71,5 +71,5 @@
   PetscAssertPointer(e, 5);
   PetscAssertPointer(f, 6);
-  PetscAssertPointer(g, 7);
+  
   PetscAssertPointer(h, 8);
   return;
@@ -72,5 +72,5 @@
   PetscAssertPointer(f, 6);
   PetscAssertPointer(g, 7);
-  PetscAssertPointer(h, 8);
+  
   return;
 }