seeds             517 user/testbin/psort/psort.c static long *seeds;
seeds             530 user/testbin/psort/psort.c 	srandom(seeds[me]);
seeds             577 user/testbin/psort/psort.c 	seeds = seedspace;
seeds             579 user/testbin/psort/psort.c 	seeds = NULL;