class TEST1
feature
	x: TEST1
		$(ROUTINE_MARK)
			create Result
		end

	n: INTEGER
end