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