IMO we should never overflow--the remaining space in the bucket should be >= 0