class TEST2
feature
	weasel: INTEGER
		do
			Result := 47
		end

end