boost/boost/random/detail
