class
        ROOT_CLASS
create
	make
feature -- Init
	make
		do
			create b
		end
	a: A
	b: B
end