+static bool call_dumped = false;
+
+
+static void dumpCall(trace::Call &call) {
+ if (verbosity >= 0 && !call_dumped) {
+ std::cout << call;
+ std::cout.flush();
+ call_dumped = true;
+ }
+}
+
+
+std::ostream &warning(trace::Call &call) {
+ dumpCall(call);
+
+ std::cerr << call.no << ": ";
+ std::cerr << "warning: ";
+
+ return std::cerr;
+}
+
+
+void ignore(trace::Call &call) {