class TEST

create
	make,
	make_arg

feature

	make
		do
			create x.make_arg (1)
		end

	make_arg (n: INTEGER)
		require
			n > 0
		do
		end

feature -- Access

	x: TEST

end