class
	A

feature {NONE} -- Creation

	f
		do
			inspect
				5
			when {B}.g then
			end
		end

end