modified:   intset.c
	modified:   intset.h