Use IntSet.