extern xbt_automaton_t _mc_property_automaton;
extern int compare;
extern void *start_plt_libsimgrid;
extern void *end_plt_libsimgrid;
extern void *start_plt_binary;
extern void *end_plt_binary;
extern xbt_automaton_t _mc_property_automaton;
extern int compare;
extern void *start_plt_libsimgrid;
extern void *end_plt_libsimgrid;
extern void *start_plt_binary;
extern void *end_plt_binary;