class SHARED_CONTROL

feature

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

end