#include <boost/random.hpp>
#include <iostream>

int main(int argc,char *argv[]){
#if 1
  typedef boost::minstd_rand rng_type;
#else
  typedef boost::mt19937 rng_type;
#endif
  typedef boost::uniform_int<> distrib_type;
  typedef boost::variate_generator<rng_type &,distrib_type> source_type;
  rng_type generator(42u);

  //unsigned int seeds[] = {3407590954,3407530922,1584843976};
  unsigned int seeds[] = {12,23,42};

  distrib_type dist(0,INT_MAX);
  source_type randomSource(generator,dist);

  for(unsigned int i=0;i<3;++i){
    generator.seed(seeds[i]);
    std::cerr << seeds[i];
    for(unsigned int j=0;j<5;++j){
      unsigned int bit = randomSource();
      std::cerr<<" "<<bit%1024;
    }
    std::cerr<<std::endl;
  }
  return 1;
}