add_seeds_string
add_seeds_string(label "("); \
add_seeds_string("none");
add_seeds_string("rdtsc");
add_seeds_string("rndr ( rndrrs rndr )");
add_seeds_string("rdrand ( rdseed rdrand )");
add_seeds_string("getrandom-syscall");
add_seeds_string("os-specific");
add_seeds_string(buf);