XBT_PUBLIC void xbt_replay_action_register(const char* action_name, action_fun function);
XBT_PUBLIC action_fun xbt_replay_action_get(const char* action_name);
XBT_PUBLIC void xbt_replay_action_register(const char* action_name, action_fun function);
XBT_PUBLIC action_fun xbt_replay_action_get(const char* action_name);