xbt_replay_trace_reader_t reader = xbt_replay_trace_reader_new(argv[1]);
while ((evt=xbt_replay_trace_reader_get(reader))) {
if (!strcmp(argv[0],evt[0])) {
xbt_replay_trace_reader_t reader = xbt_replay_trace_reader_new(argv[1]);
while ((evt=xbt_replay_trace_reader_get(reader))) {
if (!strcmp(argv[0],evt[0])) {