restoregame
void restoregame(char *);
restoregame(ckpfile); /* restore checkpointed
restoregame(savefilename); /* restore last game */