--| Copyright (c) 1993-2020 University of Southern California, Eiffel Software and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

	-- To reproduce error:
	-- Compile classes as is (with `es3 -f' to freeze).  Finish_freezing.
	-- Execute `test 100000'.  No problems.
	-- Replace 2nd line in loop body of this class with the
	--	`print' line below it.
	-- Change `d' in TEST4 to the commented declaration `d: STRING'.
	-- Recompile (no freezing).
	-- Execute `test 100000'.  Dies with run-time panic.

class TEST
inherit
	ARGUMENTS
create
	make
feature
	
	make
		local
			k, count: INTEGER;
		do
			from
				count := argument (1).to_integer;
				k := 1;
			until
				k > count
			loop 
				create t;
				print (t.a.b.c.d);
				k := k + 1;
			end
		end;
	
	t: TEST1;
	
end