class TEST
create
	make
feature
	make is
		local
			i: INTEGER
		do
			i := i.max_value
			j := j.max_value
		end

	j: INTEGER

 end