fix test_i64_varargs