class TEST1
create
	default_create
feature
	value (n: INTEGER): INTEGER
		do
			Result := n + 47
		end

end