the allocation triggers a `boundary fixup' but should nevertheless fit in the remaining space of the map.