class
	A [O -> ARRAYED_LIST [STRING] create make end, K -> STRING create make_empty end]

feature

end