/* Reset the random number generator, so different processes don't all
have the same sequence. In the test harness we want different, but
/* Reset the random number generator, so different processes don't all
have the same sequence. In the test harness we want different, but