Update Int.cc