class
	A

convert
	to_b: {B}

feature

	to_b: B
		do
			create Result
		end

end