/**
  * Seeds a @c linear_feedback_shift_engine with values
  * produced by @c seq.generate().
  */
 BOOST_RANDOM_DETAIL_SEED_SEQ_SEED(linear_feedback_shift_engine,
     SeedSeq, seq)
 { seed(detail::seed_one_int<UIntType, (UIntType(2) << (w - 1))>(seq)); }
 /**
  * Seeds a @c linear_feedback_shift_engine with values
  * from the range [first, last).
  */
 template<class It> void seed(It& first, It last)
 {
     seed(detail::get_one_int<UIntType, (UIntType(2) << (w - 1))>(first, last));
 }
 void seed() { seed(UIntType(4357)); }