class TEST1 feature s: STRING attribute Result := "hamster" end end