-XBT_PUBLIC(int) _xbt_replay_is_active(void);
-
-XBT_PUBLIC(int) _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);
+XBT_PUBLIC(int) _xbt_replay_is_active();
+XBT_PUBLIC(int) _xbt_replay_action_init();
+XBT_PUBLIC(void) _xbt_replay_action_exit();