int xbt_replay_action_runner(int argc, char *argv[]);
+XBT_PUBLIC(void) _xbt_replay_action_init(void);
+XBT_PUBLIC(void) _xbt_replay_action_exit(void);
+
XBT_PUBLIC(void) xbt_replay_action_register(const char *action_name,
action_fun function);
XBT_PUBLIC(void) xbt_replay_action_unregister(const char *action_name);