char *filename; int linenum;
} s_xbt_replay_reader_t;
+FILE *action_fp;
+
+xbt_dict_t action_funs;
+xbt_dict_t action_queues;
+
static char *action_line = NULL;
static size_t action_len = 0;
-
static const char **action_get_action(char *name);
xbt_replay_reader_t xbt_replay_reader_new(const char *filename)