-XBT_PUBLIC int gras_bench_always_begin(const char *location, int line);
-XBT_PUBLIC int gras_bench_always_end(void);
-XBT_PUBLIC int gras_bench_once_begin(const char *location, int line);
-XBT_PUBLIC int gras_bench_once_end(void);
+XBT_PUBLIC(int) gras_bench_always_begin(const char *location, int line);
+XBT_PUBLIC(int) gras_bench_always_end(void);
+XBT_PUBLIC(int) gras_bench_once_begin(const char *location, int line);
+XBT_PUBLIC(int) gras_bench_once_end(void);