Examples

ex3.c: Run Birthday Spacing Tests for PetscRandom.