void xbt_replay_trace_reader_free(xbt_replay_trace_reader_t *reader);
const char *xbt_replay_trace_reader_position(xbt_replay_trace_reader_t reader);
void xbt_replay_trace_reader_free(xbt_replay_trace_reader_t *reader);
const char *xbt_replay_trace_reader_position(xbt_replay_trace_reader_t reader);