Add "configure" for seeded random number generator