Update intset.h