realname "Randpool RNG" define RANDPOOL load_on auto randpool.cpp randpool.h