if (xbt_cfg_get_boolean("smpi/trace-call-location")) {
smpi_trace_call_location_t* loc = smpi_trace_get_call_location();
((pushState_t)(event->data))->filename = loc->filename;
((pushState_t)(event->data))->linenumber = loc->linenumber;
}
if (xbt_cfg_get_boolean("smpi/trace-call-location")) {
smpi_trace_call_location_t* loc = smpi_trace_get_call_location();
((pushState_t)(event->data))->filename = loc->filename;
((pushState_t)(event->data))->linenumber = loc->linenumber;
}