In practice, this should not happen, since `_first_unused` should be already set, if `_too_small_hole()` returns true.
