random number generator can be seeded from command line