class SHARED_CONTROL

feature 

	control: CONTROL is
		once
			create Result.make (3)
		end

end -- class SHARED_CONTROL