#include #include #include #include using namespace std; #include #include #include extern vector INFILENAMES; extern char *OUTFILENAME; extern int QUIT; #define _DBG_ cout<<__FILE__<<":"<<__LINE__<<" " #define _DBG__ cout<<__FILE__<<":"<<__LINE__<