-XBT_PUBLIC void *xbt_mallocator_get(xbt_mallocator_t mallocator);
-XBT_PUBLIC void xbt_mallocator_release(xbt_mallocator_t mallocator, void *object);
+XBT_PUBLIC(void *) xbt_mallocator_get(xbt_mallocator_t mallocator);
+XBT_PUBLIC(void) xbt_mallocator_release(xbt_mallocator_t mallocator,
+ void *object);
+
+XBT_PUBLIC(void) xbt_mallocator_initialization_is_done(int protect);