Update int3.h