RAND_write_file
RAND_write_file(seedfile);
if (RAND_write_file(save_rand_file) == -1) {
int RAND_write_file(const char *file);