-void xbt_fifo_preinit(void) {
- item_mallocator = xbt_mallocator_new(256,
+void xbt_fifo_preinit(void)
+{
+ if (item_mallocator != NULL) {
+ /* Already created. I guess we want to switch to MC mode, so kill the previously created mallocator */
+ xbt_mallocator_free(item_mallocator);
+ }
+
+ item_mallocator = xbt_mallocator_new(65536,