class TEST2

feature

	is_valid (val: INTEGER): BOOLEAN
		do
			Result := val = 1
		end


end