SG_BEGIN_DECL()
-extern xbt_dict_t watched_hosts_lib;
+XBT_PUBLIC_DATA(xbt_dict_t) watched_hosts_lib;
extern const char *surf_action_state_names[6];
*/
XBT_PUBLIC(void) surfxml_bufferstack_push(int _new);
XBT_PUBLIC(void) surfxml_bufferstack_pop(int _new);
+XBT_PUBLIC(void) parse_after_config(void);
XBT_PUBLIC_DATA(int) surfxml_bufferstack_size;