class
	A

feature {NONE} -- Tests

	a: detachable A
		note
			option: stable
		attribute
		end

	b: detachable A
		attribute
		end

	c: detachable A
		note
			option: stable
		attribute
		end

	d: detachable A
		attribute
		end

end