+int is_replay_active = 0 ;
+
+static char **action_get_action(char *name);
+
+static char *str_tolower (const char *str)
+{
+ char *ret = xbt_strdup (str);
+ int i, n = strlen (ret);
+ for (i = 0; i < n; i++)
+ ret[i] = tolower (str[i]);
+ return ret;
+}
+
+int _xbt_replay_is_active(void){
+ return is_replay_active;
+}