Adding RandSeeder, a class of mine,