Now using C++11 <random>