/cvsroot/vegastrike/vegastrike/src/boost/boost/random/detail
