-void amok_bw_sat_init(void); /* Must be called only once per node */
-void amok_bw_sat_join(void); /* Each process must run it */
-void amok_bw_sat_leave(void);/* Each process must run it */
+XBT_PUBLIC void amok_bw_sat_init(void); /* Must be called only once per node */
+XBT_PUBLIC void amok_bw_sat_join(void); /* Each process must run it */
+XBT_PUBLIC void amok_bw_sat_leave(void);/* Each process must run it */