class PE_INDEX inherit PE_STRUCTURE_ITEM create make feature -- Read read (pe: PE_FILE): PE_ITEM do Result := pe.read_index (label) end end