class
	TEST

create
	make

feature -- Initialization

	make is
			-- Run application.
		local
			p2: P2
		do
			--| Add your code here
			create {P1}p2
			p2.from_p2
		end

end -- class APPLICATION