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