2832
2832
char *realname = snewn(40 + strlen(savefile) +
2833
2833
strlen(savesuffix), char);
2834
2834
sprintf(realname, "%s%d%s", savefile, i, savesuffix);
2835
2845
ctx.fp = fopen(realname, "w");
2837
2847
fprintf(stderr, "%s: open: %s\n", realname,
2842
2852
midend_serialise(me, savefile_write, &ctx);
2844
2854
fprintf(stderr, "%s: write: %s\n", realname,