#include <string.h>
+#include <list>
#include <map>
+#include <ostream>
#include "trace_model.hpp"
extern int verbosity;
+std::ostream &warning(Trace::Call &call);
+
+
void ignore(Trace::Call &call);
+void unsupported(Trace::Call &call);
typedef void (*Callback)(Trace::Call &call);