INTEGRATION test_int1 passes