Update int.h