11   PetscInt   n, off, array[4], na, nb, i, *marray, size;  in main()  local
65   off = 0;  in main()
66   PetscCall(PetscHSetIGetElems(ht, &off, array));  in main()
67   PetscCall(PetscSortInt(off, array));  in main()
68   PetscTestCheck(off == 2);  in main()
71   PetscCall(PetscHSetIGetElems(ht, &off, array));  in main()
73   PetscTestCheck(off == 4);  in main()
79   off = 0;  in main()
81   PetscCall(PetscHSetIGetElems(hd, &off, array));  in main()
82   PetscCall(PetscSortInt(off, array));  in main()
83   PetscTestCheck(off == 2);  in main()
131   off = 0;  in main()
132   PetscCall(PetscHSetIGetElems(ht, &off, marray));  in main()
134   PetscTestCheck(off == (2 * n));  in main()
135   PetscCall(PetscSortInt(off, marray));  in main()