20141121 Intset.h