char *xbt_binary_name = NULL; /* Mandatory to retrieve neat backtraces */
int xbt_initialized = 0;
int _surf_do_model_check = 0;
int _surf_mc_checkpoint=0;
char* _surf_mc_property_file=NULL;
char *xbt_binary_name = NULL; /* Mandatory to retrieve neat backtraces */
int xbt_initialized = 0;
int _surf_do_model_check = 0;
int _surf_mc_checkpoint=0;
char* _surf_mc_property_file=NULL;