+static void MC_init_debug_info();
+static void MC_init_debug_info() {
+ XBT_INFO("Get debug information ...");
+
+ memory_map_t maps = MC_get_memory_map();
+
+ /* Get local variables for state equality detection */
+
+ mc_binary_info = MC_find_object_address(maps, xbt_binary_name);
+ MC_dwarf_get_variables(mc_binary_info);
+
+ mc_libsimgrid_info = MC_find_object_address(maps, libsimgrid_path);
+ MC_dwarf_get_variables(mc_libsimgrid_info);
+
+ MC_free_memory_map(maps);
+
+ XBT_INFO("Get debug information done !");
+}
+