class READABLE_SIMPLE_LIST[READABLE_G, G] inherit ITERABLE[G] create make feature {NONE} -- Initialization make do create list.make(1, 0) end feature -- Iteration first: READABLE_G do result := list[1] end list: ARRAY[READABLE_G] new_cursor: READABLE_NORMAL_SIMPLE_LIST_CURSOR[READABLE_G, G] do result := create {READABLE_NORMAL_SIMPLE_LIST_CURSOR[READABLE_G, G]}.make(current) end end