additional strip-down of the allocator