class TEST
create
	make
feature
	make
		do
			from
			until
				False
			loop
				variant ok: my_variant
			end
		end

	my_variant: like n

	n: INTEGER

end