class TEST2
feature
	to_test1: TEST1
		once ("OBJECT")
			create Result
		end

	value: INTEGER

end