src/common/random2.cpp