It's not really in the public API. This function is only used in 2 places, which check these invariants: `reserve` and `make_some_room`.