/*******************************************/
/*** Config Globals **************************/
/*******************************************/
+
+SG_BEGIN_DECL()
+
XBT_PUBLIC_DATA(xbt_cfg_t) _sg_cfg_set;
XBT_PUBLIC_DATA(int) _sg_cfg_init_status;
XBT_PUBLIC_DATA(int) _sg_cfg_exit_asap;
void sg_config_init(int *argc, char **argv);
void sg_config_finalize(void);
+
+SG_END_DECL()