add_seeds_stringlist
add_seeds_stringlist("random-device", DEVRANDOM);
add_seeds_stringlist("EGD", DEVRANDOM_EGD);