7 void error(String s); // errors
10 void warning(String s);
11 #define WARN warnout << "warning: "<<__FUNCTION__ << "(): "
12 extern ostream &warnout ;
18 extern Dstream monitor; // monitor
21 #define mtor if (0) monitor // clever hack
23 #define mtor monitor.identify_as(__PRETTY_FUNCTION__)