Update int-util.h