expanded class A inherit ANY redefine out end feature -- Output out: STRING -- do Result := "A" end end