dead branch

svn path=/branches/proto/v4.bak/boost/nondet_random.hpp; revision=44405