if (xbt_mallocator_is_active()) {
// We have to switch this mallocator from inactive to active (and then get an object)
m->objects = xbt_new0(void *, m->max_size);
if (xbt_mallocator_is_active()) {
// We have to switch this mallocator from inactive to active (and then get an object)
m->objects = xbt_new0(void *, m->max_size);
if (xbt_mallocator_is_active()) {
// We have to switch this mallocator from inactive to active (and then store that object)
m->objects = xbt_new0(void *, m->max_size);
if (xbt_mallocator_is_active()) {
// We have to switch this mallocator from inactive to active (and then store that object)
m->objects = xbt_new0(void *, m->max_size);