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[]);
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[]);