class TEST1 $FORMAL_GENERICS

feature

	value: INTEGER
		do
		end

	try
		do
			print ($value)
		end

end