/** used by the module to know if it's time to activate the mallocators yet */
static XBT_INLINE int xbt_mallocator_is_active(void) {
/** used by the module to know if it's time to activate the mallocators yet */
static XBT_INLINE int xbt_mallocator_is_active(void) {