- FILE * file = fopen("savefile", "w");
- exit_err(0 == file, world,
- "Error saving game: Unable to open savefile for writing.");
+ char * err_open = "Trouble in save_game() with fopen() "
+ "opening file 'savefile_tmp' for writing.";
+ char * err_write = "Trouble in save_game() "
+ "writing to opened file 'savefile_tmp'.";
+ char * err_close = "Trouble in save_game() with fclose() "
+ "closing opened file 'savefile_tmp'.";
+ char * err_unl = "Trouble in save_game() with unlink() "
+ "unlinking old 'savefile' file.";
+ char * err_move = "Trouble in save_game() with rename() "
+ "renaming 'file savefile_tmp' to 'savefile'.";
+ char * savefile_tmp = "savefile_tmp";
+ char * savefile = "savefile";
+ FILE * file = fopen(savefile_tmp, "w");
+ exit_err(0 == file, world, err_open);