+
+ err_x = "Trouble recording new seed: "
+ "A file 'record' already exists, when it shouldn't.";
+ err_o = "Trouble recording new seed (fopen() in main()) / "
+ "opening'record_tmp' file for writing.";
+ char * err_w = "Trouble recording new seed "
+ "(write_uint32_bigendian() in main()) / writing to "
+ "opened file 'record_tmp'.";
+ err_c = "Trouble recording new seed (fclose() in main()) / "
+ "closing opened file 'record_tmp'.";
+ char * err_m = "Trouble recording new seed (rename() in main()) : "
+ "renaming file 'record_tmp' to 'record'.";
+ exit_err(!access(recordfile, F_OK), &world, err_x);
+ file = fopen(recordfile_tmp, "w");
+ exit_err(0 == file, &world, err_o);
+ exit_err(write_uint32_bigendian(world.seed, file), &world, err_w);
+ exit_err(fclose(file), &world, err_c);
+ exit_err(rename(recordfile_tmp, recordfile), &world, err_m);