class TEST
inherit
	TEST2
		redefine
			value
		end
create
        make
feature
        make
                do
			print (value); io.new_line
                end

	value: STRING
	       once ("OBJECT")
			Result := precursor
	       end
end