class
	B [M -> STRING create make_empty end]

inherit
	A [INTEGER, M]

feature

end