Update IntList.h