quit_cover (s) char *s;
quit_cover (void *s)
quit_cover (s)char *s;{  caution = 0;		/* Throw caution to the wind -- we're exiting.			   This prevents asking the user dumb questions.  */  quit_command((char *)0, 0);  return 0;}