-XBT_PUBLIC tmgr_trace_t tmgr_trace_new(const char *filename);
-XBT_PUBLIC tmgr_trace_t tmgr_empty_trace_new(void);
-XBT_PUBLIC void tmgr_trace_free(tmgr_trace_t trace);
+XBT_PUBLIC(tmgr_trace_t) tmgr_trace_new(const char *filename);
+XBT_PUBLIC(tmgr_trace_t) tmgr_empty_trace_new(void);
+XBT_PUBLIC(void) tmgr_trace_free(tmgr_trace_t trace);