**************************************************************************/
+/*
+ * Simple utility to dump a trace to standard output.
+ */
+
+
#include "trace_parser.hpp"
call = p.parse_call();
while (call) {
std::cout << *call;
+ delete call;
call = p.parse_call();
}
}