Initially I meant to ensure the allocator gave back sequential memory in
segment0, but ended up using a hope+validate approach. Given this
approach, modification of this function adds useless complexity.