class
	A

feature

	f is
		require
			s_not_void: s /= Void
		do
		end

	s: STRING

end