note description: "[ we also have psuedo-indexes for the various streams these are like regular indexes except streams are unambiguous so we don't need to shift and add a tag ]" date: "$Date$" revision: "$Revision$" class PE_US inherit PE_INDEX_BASE redefine has_index_overflow end create {PE_INDEX_BASE} make_with_index feature -- Operations has_index_overflow (a_sizes: ARRAY [NATURAL_32]): BOOLEAN do Result := large (a_sizes[{PE_TABLE_CONSTANTS}.T_US + 1].to_natural_32) end end