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