expanded class A
feature -- Access

	value: INTEGER

	set_value (v: INTEGER) is
		do
			value := v
		end

end