intset.cpp and main.cpp