XBT_PUBLIC void ETag_surfxml_link___ctn(void);
XBT_PUBLIC void STag_surfxml_model___prop(void);
XBT_PUBLIC void ETag_surfxml_model___prop(void);
-XBT_PUBLIC void STag_surfxml_mount(void);
+XBT_ATTRIB_NORETURN XBT_PUBLIC void STag_surfxml_mount(void);
XBT_PUBLIC void ETag_surfxml_mount(void);
XBT_PUBLIC void STag_surfxml_peer(void);
XBT_PUBLIC void ETag_surfxml_peer(void);
XBT_PUBLIC void ETag_surfxml_route(void);
XBT_PUBLIC void STag_surfxml_router(void);
XBT_PUBLIC void ETag_surfxml_router(void);
-XBT_PUBLIC void STag_surfxml_storage(void);
+XBT_ATTRIB_NORETURN XBT_PUBLIC void STag_surfxml_storage(void);
XBT_PUBLIC void ETag_surfxml_storage(void);
-XBT_PUBLIC void STag_surfxml_storage___type(void);
+XBT_ATTRIB_NORETURN XBT_PUBLIC void STag_surfxml_storage___type(void);
XBT_PUBLIC void ETag_surfxml_storage___type(void);
XBT_PUBLIC void STag_surfxml_trace(void);
XBT_PUBLIC void ETag_surfxml_trace(void);