class
	A

create
	make, default_create

convert
	make ({B})

feature

	make (b: B)
		do
		end

end