Create IntList.h