-extern xbt_dynar_t visited_states;
-mc_visited_state_t is_visited_state(mc_state_t graph_state);
-void visited_state_free(mc_visited_state_t state);
-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);