-extern XBT_INTERNAL xbt_dynar_t visited_states;
-XBT_INTERNAL mc_visited_state_t is_visited_state(mc_state_t graph_state);
-XBT_INTERNAL void visited_state_free(mc_visited_state_t state);
-XBT_INTERNAL void visited_state_free_voidp(void *s);
+ VisitedState();
+ ~VisitedState();
+};
+
+extern XBT_PRIVATE xbt_dynar_t visited_states;
+XBT_PRIVATE simgrid::mc::VisitedState* is_visited_state(mc_state_t graph_state);