#ifndef _XBT_MODULE_H
#define _XBT_MODULE_H
+#include <xbt/misc.h> /* XBT_PUBLIC */
+
extern char *xbt_binary_name;
-XBT_PUBLIC void xbt_init(int *argc,char **argv);
-XBT_PUBLIC void xbt_exit(void);
+XBT_PUBLIC(void) xbt_init(int *argc,char **argv);
+XBT_PUBLIC(void) xbt_exit(void);
#endif /* _XBT_MODULE_H */