static bool call_dumped = false;
static void dumpCall(trace::Call &call) {
if (verbosity >= 0 && !call_dumped) {
std::cout << std::hex << call.thread_id << std::dec << " ";
static bool call_dumped = false;
static void dumpCall(trace::Call &call) {
if (verbosity >= 0 && !call_dumped) {
std::cout << std::hex << call.thread_id << std::dec << " ";