-FILE *action_fp;
-
-
-xbt_replay_reader_t xbt_replay_reader_new(const char*filename);
-const char **xbt_replay_reader_get(xbt_replay_reader_t reader);
-void xbt_replay_reader_free(xbt_replay_reader_t *reader);
-const char *xbt_replay_reader_position(xbt_replay_reader_t reader);