-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);
+XBT_PUBLIC(void) xbt_replay_action_register(const char *action_name, action_fun function);
+XBT_PUBLIC(int) xbt_replay_action_runner(int argc, char *argv[]);