if (xbt_cfg_get_boolean("smpi/trace-call-location")) {
stream << " \"" << static_cast<pushState_t>(event->data)->filename
<< "\" " << static_cast<pushState_t>(event->data)->linenumber;
}
if (xbt_cfg_get_boolean("smpi/trace-call-location")) {
stream << " \"" << static_cast<pushState_t>(event->data)->filename
<< "\" " << static_cast<pushState_t>(event->data)->linenumber;
}