cerr << "Deleted Audio" << endl; cerr.flush();
static int Play(){	do	{		quitting_time = 0;		Handle_events(&quitting_time);		if( quitting_time == 2 )			{			Mouse::mouse->hide();	// Turn off mouse.			gwin->read();	// Restart			gwin->setup_game();			}	}	while (quitting_time == 2);	delete gwin;	delete Mouse::mouse;	delete Audio::get_ptr();	// Follow not this pointer, now, for					// that way lies madness.	delete config;	return (0);}