Update ListOfInt.h