void configure(Configure& c) { c("random-seed", &seed)("if set, use as initial seed for RNG"); c.is("random_seed"); }