extern void dodump(int argc , char ** argv);