updated test_int_down