SIZE

The number of elements in this subrange tuple, starting at the START_INDEX. Must not be zero, and should probably be at least some reasonable size to avoid time and space overhead.