Update test_int.cpp