Create IntSet.h