Re: [GHC] #8609: Clean up block allocator