00001 #include <fstream> 00002 00003 using namespace std; 00004 00005 #ifndef MajorDump_h 00006 #define MajorDump_h 00007 00008 class Dump { 00009 public: 00010 static ostream* dump_out; 00011 }; 00012 00013 00014 #endif