some debug output for the memory allocator