    class
    	WEL_ARRAY [G -> WEL_STRUCTURE]

    General
    	cluster: wel
    	description: "Fixed array for WEL_STRUCTURE. Used internally by WEL."
    	create: make

    Ancestors
    	WEL_STRUCTURE*

    Queries
    	count: INTEGER_32
    	exists: BOOLEAN
    	i_th_item (index: INTEGER_32): POINTER
    	is_equal (other: [like Current] WEL_ARRAY [G]): BOOLEAN
    	item: POINTER
    	item_size: INTEGER_32
    	shared: BOOLEAN
    	structure_size: INTEGER_32

    Commands
    	copy (other: [like Current] WEL_ARRAY [G])
    	dispose
    	initialize
    	initialize_with_character (a_character: CHARACTER_8)
    	memory_copy (source_pointer: POINTER; length: INTEGER_32)
    	put (an_item: G; index: INTEGER_32)
    	set_item (an_item: POINTER)
    	set_shared
    	set_unshared

    Constraints
    	positive count
    	positive item size