+void pair_stateless_free(mc_pair_stateless_t pair);
+void pair_stateless_free_voidp(void *p);
+
+/********************************** Configuration of MC **************************************/
+extern xbt_fifo_t mc_stack_safety;
+
+/****** Core dump ******/
+
+int create_dump(int pair);
+
+/****** Local variables with DWARF ******/
+
+typedef enum {
+ e_dw_loclist,
+ e_dw_register,
+ e_dw_bregister_op,
+ e_dw_lit,
+ e_dw_fbregister_op,
+ e_dw_piece,
+ e_dw_arithmetic,
+ e_dw_plus_uconst,
+ e_dw_compose,
+ e_dw_deref,
+ e_dw_uconstant,
+ e_dw_sconstant,
+ e_dw_unsupported
+} e_dw_location_type;
+
+typedef struct s_dw_location{
+ e_dw_location_type type;
+ union{
+
+ xbt_dynar_t loclist;
+
+ int reg;
+
+ struct{
+ unsigned int reg;
+ int offset;
+ }breg_op;
+
+ unsigned int lit;
+
+ int fbreg_op;
+
+ int piece;
+
+ unsigned short int deref_size;
+
+ xbt_dynar_t compose;
+
+ char *arithmetic;
+
+ struct{
+ int bytes;
+ long unsigned int value;
+ }uconstant;
+
+ struct{
+ int bytes;
+ long signed int value;
+ }sconstant;
+
+ unsigned int plus_uconst;
+
+ }location;
+}s_dw_location_t, *dw_location_t;
+
+typedef struct s_dw_location_entry{
+ long lowpc;
+ long highpc;
+ dw_location_t location;
+}s_dw_location_entry_t, *dw_location_entry_t;
+
+typedef struct s_dw_local_variable{
+ char *name;
+ dw_location_t location;
+}s_dw_local_variable_t, *dw_local_variable_t;
+
+typedef struct s_dw_frame{
+ char *name;
+ void *low_pc;
+ void *high_pc;
+ dw_location_t frame_base;
+ xbt_dict_t variables;
+ unsigned long int start;
+ unsigned long int end;
+}s_dw_frame_t, *dw_frame_t;
+
+/* FIXME : implement free functions for each structure */
+
+extern xbt_dict_t mc_local_variables;
+
+typedef struct s_variable_value{
+ char *type;
+
+ union{
+ void *address;
+ long int res;
+ }value;
+}s_variable_value_t, *variable_value_t;
+
+void MC_get_local_variables(const char *elf_file, xbt_dict_t location_list, xbt_dict_t *variables);
+void print_local_variables(xbt_dict_t list);
+char *get_libsimgrid_path(void);
+xbt_dict_t MC_get_location_list(const char *elf_file);
+
+/**** Global variables ****/
+
+typedef struct s_global_variable{
+ char *name;
+ size_t size;
+ void *address;
+}s_global_variable_t, *global_variable_t;
+
+void global_variable_free(global_variable_t v);
+void global_variable_free_voidp(void *v);