extern int debug;
extern FILE * output;