This should be an `assert(bins == B_FREE)`.