00001 #ifndef DD_ddstats_h 00002 #define DD_ddstats_h 00003 #include<iostream> 00004 void ddstats(std::ostream & os); 00005 #endif