Using setDefaultAllocator() with custom allocator calls allocate() but not deallocate() - why?

crosspost: