class TEST2
feature
	value: STRING
	       $ROUTINE_MARK
			Result := "Weasel"
	       end
end