Update intlist.h