opensavefile
dodump(satype, opensavefile(argv[0]));
savefile = opensavefile(optarg);
extern FILE *opensavefile(char *);