void finish(void) { killsound(); soundoff(); soundkillglob(); restorekeyb(); graphicsoff(); }
void catcher(int num) { fprintf(stderr, "Signal %d catched, exitting\n", num); graphicsoff(); restorekeyb(); exit(0); }