class TEST3 feature weasel: STRING attribute Result := "Weasel" end end